- Lógica ProposicionalEquivalências Lógicas
- Lógica ProposicionalNegação de Proposições CompostasLeis de De Morgan
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 éProvas
Questão presente nas seguintes provas
