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 é
