Frank Coelho de Alcantara -2020
Faça a tabela verdade das seguintes proposições
Simplifique as fórmulas abaixo usando as regras de equivalência
Faça a derivação dos seguintes argumentos:
Escolha dois tópicos do Exercício 1
Escolha quatro tópicos do Exercício 2
Escolha quatro tópicos do Exercício 3
Aqueles que enviarem as respostas em formato docx., latex, ou feito a mão e digitalizado, até 03 de outubro, terão seus exercícios corrigidos antes da prova.
O email para envio foi publicado no grupo de avisos da disciplina no whatsapp.
Exercício 1 item 3.
$p$ | $q$ | $\neg p$ | $\neg p \rightarrow q$ | $\neg q$ | $\neg p \wedge \neg q$ | $(\neg p \rightarrow q)\vee (\neg p \wedge \neg q)$ |
$T$ | $T$ | $F$ | $T$ | $F$ | $F$ | $T$ |
$T$ | $F$ | $F$ | $T$ | $T$ | $F$ | $T$ |
$F$ | $T$ | $T$ | $T$ | $F$ | $F$ | $T$ |
$F$ | $F$ | $T$ | $F$ | $T$ | $T$ | $T$ |
Exercício 1 item 6.
Exercício 2 item 10
$p \rightarrow \neg q; \neg q \rightarrow (r \wedge s); \neg (r \wedge s); p \vee t \vdash t$
1 | $p \rightarrow \neg q$ | Premissa |
2 | $\neg q \rightarrow (r \wedge s)$ | Premissa |
3 | $\neg (r \wedge s)$ | Premissa |
4 | $p\vee t$ | Premissa |
5 | $\neg \neg q$ | (MT) 2,3 |
6 | $\neg p$ | (MT) 1,5 |
7 | $t$ | (SD) 4,6 |
Você pode baixar o material de apoio clicando aqui