- Lógica ProposicionalEquivalências Lógicas
- Lógica ProposicionalNegação de Proposições CompostasLeis de De Morgan
Dizer que não é verdade que Marcos é bonito e Marcelo é baixo, é logicamente equivalente a dizer que é verdade que:
Dizer que não é verdade que Marcos é bonito e Marcelo é baixo, é logicamente equivalente a dizer que é verdade que: