A fórmula ~ P → Q ↔ (P ∧ ~ Q) é:

Próximas questões
Com base no mesmo assunto
Q753754 Raciocínio Lógico

Legenda para os símbolos lógicos:

• Δ Representa a disjunção exclusiva (ou...ou).

• ∨ Representa a disjunção inclusiva (ou).

• ∧ Representa a conjunção (e).

• ~ Representa a negação.

• → Representa o condicional (se...então).

• ↔ Representa o bicondicional (se e somentese).

A fórmula ~ P → Q ↔ (P ∧ ~ Q) é:
Alternativas