Imagem de fundo

A fórmula ¬(𝐴 → (𝐶 ∨ 𝐵)) ↔ (𝐴 ∧ ¬𝐵 ∧¬𝐶) é uma:

A fórmula ¬(𝐴 → (𝐶 ∨ 𝐵)) ↔ (𝐴 ∧ ¬𝐵 ∧¬𝐶) é uma:

A

Contradição.

B

Equivalência lógica.

C

Contingência.

D

Implicação lógica.

E

Indeterminação.