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