- Lógica ProposicionalEquivalências Lógicas
- Lógica ProposicionalNegação de Proposições CompostasLeis de De Morgan
Lista de símbolos:
→ Condicional
↔ Bicondicional
∧ Conector “e”
∨ Conector “ou”
∨ Conector “ou” exclusivo
¬ Negação da proposição
A negação da proposição “Foz do Iguaçu é uma cidade grande” é:
