Símbolos para os conetivos lógicos: Negação ∼ Conjunção ∧ Disjunção ∨ Disjunção exclusiva ⨁ Condicional → Bicondicional ↔ A tabela verdade da fórmula (𝑃 ^ ~Q →∼ P) é: A tabela verdade da fórmula (𝑃 ^ ~Q →∼ P) é:

A tabela verdade da fórmula (𝑃 ^ ~Q →∼ P) é:

Q1988378

Símbolos para os conetivos lógicos:

Negação ∼

Conjunção ∧

Disjunção ∨

Disjunção exclusiva ⨁

Condicional $\to$

Bicondicional ↔

A tabela verdade da fórmula (𝑃 ^ ~Q →∼ P) é:

Tautologia.

Contradição.

Contingência, com um resultado verdadeiro e três resultados falsos.

Contingência, com um resultado falso e três resultados verdadeiros.

Contingência, com dois resultados verdadeiros e dois resultados falsos.