negation formulae
(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)