a lojban dictionary editing system

Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
XML Export
user Listing
Report Bugs
Admin Request
Create Account
Discussion of "e'u'a"
[parent] [root]
Comment #3: Re: FFFF
Curtis W Franks (Mon May 13 13:26:36 2019)

krtisfranks wrote:
> I am not sure how to get FFFF from TTTT using normal Lojban connective
> negation. Negatives do not change the output of the connective, just the
> inputs. For example ".a'y jenai by" means "A and not(B)" not "A not-and
> B", the latter using possibly any connective other than 'AND' and,
> presumably, being most likely to be equivalent to 'not(A) or not(B)" if
> any particular realization were universally demanded.
> So, the options for this word seem to me to be:
> "not(A) TRUTH B", "A TRUTH not(B)", and "not(A) TRUTH not(B)".
> Each of these negates at least one of the inputs in some way, but (for
> new inputs) will always evaluate to be true. In other words, the
> respective truth tables for those would be each be TTTT too.

Oh, I see: You made ".i'a'a" etc. for FFFF. Okay then! All is good.
False alarm.

Comment #4: Re: FFFF
Wesley Wilson (Wed May 15 21:16:52 2019)

Yes, I thought about it and concluded that separate words were necessary.
u'i "false alarm".

Currently, jbovlaste will accept data for 69 languages.
You are not logged in.

  recent changes jbovlaste main
This is jbovlaste, the lojban dictionary system.
The main code was last changed on Wed 07 Oct 2020 05:54:55 PM PDT.
All content is public domain. By submitting content, you agree to place it in the public domain to the fullest extent allowed by local law.
jbovlaste is an official project of the logical language group, and is now headed by Robin Lee Powell.
E-mail him if you have any questions.
care to log in?