07. Frases complexas
Tabela-verdade (ou tabela de verdade ou tabela veritativa).
Exercício. Construa a tabela-verdade completa referente a cada uma das seguintes expressões proposicionais:
1. (pΛ¬q) [Veja a solução desse primeiro exercício clicando aqui.]
2. ((pΛq)→r) [Veja a solução desse segundo exercício clicando aqui.]
3. (¬(pVq)→r) [Veja a solução desse terceiro exercício clicando aqui.]
4. ¬(¬(p ↔ (¬pVq))→¬r) [Veja a solução desse quarto exercício clicando aqui.]
5. ¬(s ↔ (¬(pΛq) → r)) [Veja a solução desse quinto exercício clicando aqui.]
[Para quem está tendo dificuldade nesses exercícios, clique aqui.]
(Esses cinco exercícios e suas soluções foram retiradas do site <http://philosophy.hku.hk/think/sl/complex.php>.)