View source for Conversion of logical expressions to Lojban

Almost literal translation of logical expressions to Lojban.
<tab class=wikitable>
¬	  naku
∃x	  su'o da
∀x	  ro da
<nowiki>[...] ∧ [...]</nowiki>	  ge ... gi ...
broda(x)	  broda fa x
</tab>
=mupli=
<tab class=wikitable>
<nowiki>¬[ ∃x[ brode(x) ∧ brodo(x) ] ]</nowiki>  	    naku su'o da zo'u ge brode fa da gi brodo fa da
<nowiki>¬[ [ ∃x brode(x) ] ∧ [ ∃y brodo(y) ] ]</nowiki>  	    naku ge su'o da brode gi su'o de brodo
<nowiki>[ ¬ ∃x brode(x) ] ∧ [ ∃y brodo(y) ]</nowiki>  	    ge naku su'o da brode gi su'o de brodo
</tab>