A tabela verdade da fórmula (𝑃 ^ ~Q →∼ P) é:
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) é:
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) é: