Sejam p e q proposições simples e ~p e ~q, respectivamente, as suas negações. Os conectivos e e ou são representados, respectivamente, por
e
. A negação da proposição composta ~p
q é
e
. A negação da proposição composta ~p
q é