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:

Supondo que Maria e Clara não são vereadoras. Se Antônia é...

Q1988273

Símbolos para os conetivos lógicos:

Negação ∼

Conjunção ∧

Disjunção ∨

Disjunção exclusiva ⨁

Condicional $\to$

Bicondicional ↔

Supondo que Maria e Clara não são vereadoras. Se Antônia é vereadora então Maria é vereadora. Deduzimos que:

Antônia, Maria e Clara não são vereadoras.

Antônia é vereadora e Clara não é vereadora.

Antônia é vereadora e Maria não é vereadora.

Maria e Clara não são vereadoras, mas Antônia é vereadora.

Antônia, Maria e Clara são vereadoras.