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:
