12. 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 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)