Logica proposição composta

Tabela-Verdade de uma proposição composta

Exemplo

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 24 = 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)