- Lógica ProposicionalEquivalências Lógicas
- Lógica ProposicionalNegação de Proposições CompostasLeis de De Morgan
Símbolos para os conetivos lógicos:
Negação ∼
Conjunção ∧
Disjunção ∨
Disjunção exclusiva ⊕
Condicional →
Bicondicional ↔
Supondo que Maria e Clara não são vereadoras. Se Antônia é vereadora então Maria
é vereadora. Deduzimos que:
