View source for negation formulae

From Lojban

← negation formulae

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in one of the groups: Users, Administrators.

You can view and copy the source of this page.

<code>
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)
</code>

Return to negation formulae.

Retrieved from "https://mw.lojban.org/papri/negation_formulae"