Re: [lojban] Logic course

["Jorge Llambias" <jjllambias@hotmail.com>]

la greg cusku di'e

> 1){roda de zo'u li da su'i de du li no}

The not-quite-equivalence of sumti and operands can be quite
annoying. {li da} is not grammatical. You could write it as:

  roda de zo'u li no sumji da de

or, if you insist with MEX:

  roda de zo'u li mo'e da su'i mo'e de du li no

but {mo'e} has problems too. Some people say it is for
dimensioned numbers, which would conflict with this use.
Besides, the non-MEX form is much shorter.

> (can only da de and di (w/ subscripts) be used as bound variables ?)

In my opinion, the lerfu pronouns, the ko'a/fo'a series, the
vo'a series, ri, ra, ru, all work just as much as bound
variables as da, de, di. The only differenvce is in how the
binding takes effect.

> what does
> 1'){roxy. zy. zo'u li xy su'i zy. du li no} mean ?

{ro xy zy} is a single number. You need {roboi xyboi zyboi}
in the prenex. Other than that, I think it works. (Though
I prefer the {sumji} version.)

> how long do bound variables last, if propositions are logically connected ?

You can use tu'e-tu'u if there is any doubt.

> 2){roda rode rodi zo'u du li da su'i de li da su'i di li no .inaja du li de
> li di}

Again, {li da} does not work. You can say:

roda rode rodi zo'u ganai li no sumji da de e di gi de di du

> 3){da zo'u li xy. du li da pi'i da}

What is xy here? A constant?

  da zo'u xy pilji da da

> 4){da zo'u li xy. du li da su'i da}

  da zo'u xy sumji da da

> 5){roda zo'u de zo'u li da du li de te'a re .inaja di zo'u li da du li di
> pi'i vo}

roda zo'u ganai de zo'u da tenfa de li re gi di zo'u da pilji di li vo


mu'o mi'e xorxes




_________________________________________________________________
Send and receive Hotmail on your mobile device: http://mobile.msn.com