- 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 ¬P ∨ ¬Q é:
