gonaibo broda gi brode gi brodi to'i galfi lo cmene no'u zoizoi Re: [lojban] Re: {tu'e...tu'u} in NU zoi toi

[guskant <gusni.kantu@gmail.com>]

Le vendredi 17 juin 2016 13:28:08 UTC, guskant a écrit : 

I am examining more reasonable semantics by adding a new syntactic feature "GA BO" to the recent unstable version of zantufa:

http://guskant.github.io/gerna_cipra/zantufa-1.9999.html

{go broda gi brode gi brodi}: all true or all false of {broda}, {brode} and {brodi}.

{gonai broda gi brode gi brodi}: all true or all false of {na broda}, {brode} and {brodi}.

{gonaibo broda gi brode gi brodi}: only one of {broda}, {brode} and {brodi} is true; the others are false.

Then in the case of binary, both {gonai} and {gonaibo} have usual XOR meaning:

{gonai broda gi brode}={gonaibo broda gi brode}: only one of {broda} and {brode} is true, the other is false.

Do you find any problem? If not, the feature will be added to the next stable release of zantufa.

mi'e la guskant

 

i za'a no da cinri la'e di'u

i ja'e bo mi nonkansa pensi gi'e jdice

i lu gonaibo broda gi brode gi brodi li'u gau gendra ma'i la zantufa xi 1.16 noi se judri zoizoi

http://guskant.github.io/gerna_cipra/zantufa-1.16.html

zoi

mi'e la guskant jo'au zantufa xi 1.16 mu'o

 

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.