negation formulae

From Lojban
(Redirected from Negation formulae)
Jump to navigation Jump to search

su'o da broda

   Ex x . broda(x)


no da na ku broda

   ~ Ex x . ~ broda(x)

=>

   All x . ~ ~ broda(x)

=>

   All x . broda(x)


na ku no da broda

   ~ ~ Ex x . broda(x)

=>

   Ex x . broda(x)