negation formulae

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)