Supondo que Maria e Clara não são vereadoras. Se Antônia é v...
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: