Conjunção (e) Disjunção (ou) Disjunção Exclusiva (ou..., ou...

)
𝑝 𝑞 𝑝∧𝑞 𝑝 𝑞 𝑝∨𝑞 𝑝 𝑞 𝑝⊻𝑞
V V V V V V V V F
V F F V F V V F V
F V F F V V F V V
F F F F F F F F F

Condicional Simples (se..., então) Bicondicional (se, e somente se)

𝑝 𝑞 𝑝→𝑞 𝑝 𝑞 𝑝↔𝑞
V V V V V V
V F F V F F
F V V F V F
F F V F F V

Operador Descrição Procedência

(), [], {} Parênteses, colchetes e chaves
~, ⌐ Negação
∧,∨ Conjunção e Disjunção
→ Condicional Simples
↔ Bicondicional

Tabela de Contingência

𝑝 𝑞 𝑝∨𝑞 𝑝∧𝑞 𝑝∨𝑞 →𝑝∧𝑞

V V V V V
V F V F F
F V V F F
F F F F V

Exemplo de Tautologia

𝑝 𝑞 ~𝑝 𝑝∧𝑞 (𝑝 ∧ 𝑞) ∨ ~𝑝 𝑝 ∨ ~𝑝 (𝑝 ∧ 𝑞) ∨ ~𝑝 → 𝑝 ∨ ~𝑝
V V F V V V V
V F F F F V V
F V V F V V V
F F V F V V V

Conjunção Negação
𝑝∧𝑞 ~𝑝 ∨ ~𝑞
𝑝∨𝑞 ~𝑝 ∧ ~𝑞
𝑝⊻𝑞 ~𝑝 ↔ ~𝑞
𝑝→𝑞 𝑝 ∧ ~𝑞
𝑝↔𝑞 ~𝑝 ⊻ ~𝑞

Prof. Bruno César Góes