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 [...] ∧ [...] ge ... gi ... broda(x) broda fa x </tab>

mupli

<tab class=wikitable> ¬[ ∃x[ brode(x) ∧ brodo(x) ] ] naku su'o da zo'u ge brode fa da gi brodo fa da ¬[ [ ∃x brode(x) ] ∧ [ ∃y brodo(y) ] ] naku ge su'o da brode gi su'o de brodo [ ¬ ∃x brode(x) ] ∧ [ ∃y brodo(y) ] ge naku su'o da brode gi su'o de brodo </tab>