Date: Sat, 20 Dec 1997 13:24:56 -0500 (EST) Message-Id: <199712201824.NAA24518@locke.ccil.org> Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: xu broda X-To: lojban@cuvmb.cc.columbia.edu To: John Cowan Status: OR X-Mozilla-Status: 0001 Content-Length: 1276 X-From-Space-Date: Sat Dec 20 13:24:58 1997 X-From-Space-Address: LOJBAN@CUVMB.CC.COLUMBIA.EDU >> There are of course other conventions found in logic. But I consider a >> xu question "true" if it is true without the xu, and this seems like it should> apply to a xukau as well. > >{xu broda} = {ma jei broda} rather than {broda} It is not equivalent to either, though I claim that the first and third have identical truth functions (which doesn't seem to be quite what you mean by "truth-functionally equivalent".) It is certainly not truth-functionally equivalent to the "ma jei broda", because 1) the answer to the two questions differs and 2) the correct filling in of the "ma" with "la fals" is a true statement. So by my above statement "xu broda" is false, whereas the jei statement is true when filled in with a correct value for ma (and the existence of a value that makes it true, makes the bridi with ma "true"). ---- lojbab lojbab@access.digex.net Bob LeChevalier, President, The Logical Language Group, Inc. 2904 Beau Lane, Fairfax VA 22031-1303 USA 703-385-0273 Artificial language Loglan/Lojban: ftp.access.digex.net /pub/access/lojbab or see Lojban WWW Server: href="http://xiron.pc.helsinki.fi/lojban/" Order _The Complete Lojban Language_ - see our Web pages or ask me.