[lojban] RE:Trivalent Logics

[pycyn@aol.com]

Ooops!  For functional completeness the system needs min(x,y), too and that 
seems harder to get.  Once it is gotten, however, it alone generates all of 
the connectives (binary, unary, more-ary), or rather the Sheffer function, 
min(x,y)+1, does.
I think (disclaimer) that min can be defined with f1=f2 :-1 for -1, 0 
otherwise and f3 as 1for 1, 0 otherwise.  But my head is not functioning well 
in -1,0,1 arithmetic at the moment.

------------------------------------------------------------------------
Get a NextCard Visa, in 30 seconds!
1. Fill in the brief application
2. Receive approval decision within 30 seconds
3. Get rates as low as 2.9% Intro or 9.9% Fixed APR
http://click.egroups.com/1/5200/4/_/17627/_/961777927/
------------------------------------------------------------------------

To unsubscribe, send mail to lojban-unsubscribe@onelist.com