Diz-se que uma fórmula a é logicamente equivalente (Û) a b quando a for consequência lógica de b e b for consequência lógica de a, resumindo: a Û b se e somente se a « b é uma tautologia. Botando
no papel, basta verificar se as tabelas verdade de a e b são idênticas.
Passo
1:
|
p
|
q
|
r
|
p Ù q
|
p Ù q ® r
|
q ® r
|
p ® (q ® r)
|
(p Ù q ® r) « (p ® (q ® r))
|
|
V
|
V
|
V
|
V
|
V
|
V
|
V
|
V
|
|
V
|
V
|
F
|
V
|
F
|
F
|
F
|
V
|
|
V
|
F
|
V
|
F
|
V
|
V
|
V
|
V
|
|
V
|
F
|
F
|
F
|
V
|
V
|
V
|
V
|
|
F
|
V
|
V
|
F
|
V
|
V
|
V
|
V
|
|
F
|
V
|
F
|
F
|
V
|
F
|
V
|
V
|
|
F
|
F
|
V
|
F
|
V
|
V
|
V
|
V
|
|
F
|
F
|
F
|
F
|
V
|
V
|
V
|
V
|
Tabela
3
Passo
2:
|
p
|
q
|
p
Ù q
|
p
® p
Ù q
|
p
® q
|
|
V
|
V
|
V
|
V
|
V
|
|
V
|
F
|
F
|
F
|
F
|
|
F
|
V
|
F
|
V
|
V
|
|
F
|
F
|
F
|
V
|
V
|
Tabela
4
Passo 3:
|
p
|
q
|
p « q
|
p ® q
|
q ® p
|
(p ® q) Ù (q ® p)
|
|
V
|
V
|
V
|
V
|
V
|
V
|
|
V
|
F
|
F
|
F
|
V
|
F
|
|
F
|
V
|
F
|
V
|
F
|
F
|
|
F
|
F
|
V
|
V
|
V
|
V
|
Tabela
5
Nenhum comentário:
Postar um comentário