[lojban] Re: Assertions of time-relations and precision of abstractions

[Roman Naumann <roman_naumann@fastmail.fm>]

Am Dienstag 27 Mai 2008 14:31:36 schrieb nam:

> So, would it be valid so sum up: If {.i broda ba lo nu brode} is given,
> {broda} happens iff {brode} happens?

(I did not receive this email from the mailserver and thus assume it hasn't 
been sent the first time due to an error)

Sry, that's plain wrong. Don't konw what I was thinking about..

What I wanted to ask is: Would it be fine to say:

Given: {.i broda ba lo nu brode}
Then:  {.i broda .inaja brode}
(This doesn't deny 'when hell frezes' [brode], because if NOT brode then NOT 
broda) => (If hell never freezes, I'll never eat the banana or whatever)


To unsubscribe from this list, send mail to lojban-list-request@lojban.org
with the subject unsubscribe, or go to http://www.lojban.org/lsg2/, or if
you're really stuck, send mail to secretary@lojban.org for help.