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