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