verifique atravez da tabela verdade se a bicondicional p<-->q e a disjunçao tabelas verdade identicas ou seja se são equivalentes

Veja como se procede a construção de uma tabela-verdade da proposição composta P(p, q) = ((p ⋁ q) → (~p)) → (p ⋀ q), onde p e q são duas proposições simples.

Resolução

Uma tabela-verdade de uma proposição do tipo P(p, q) possui 2⁴ = 4 linhas, logo: 

Agora veja passo a passo a determinação dos valores lógicos de P.

a) Valores lógicos de p ν q

b) Valores lógicos de ~p

c) Valores lógicos de (p ν q) → (~p)

d) Valores lógicos de p Λ q

e) Valores lógicos de P(p, q) = ((p ν q) → (~p)) → (p Λ q)