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 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) 
Veja mais sobre lógica no site ColégioWeb
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) Veja mais sobre lógica no site ColégioWebTabela da Verdade - Youtube
