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 ~pq é
