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
