demonstrar a válidade de um argumento lógico

LISTA DE EXERCÍCIOS

1. Demonstrar a validade do argumento ¬p → q, q → ¬r, r V s, ¬s → p.
1. PQ premissa
2. QR premissa
3. R  S premissa
4. S premissa
5. R pelo silogismo disjuntivo entre 3 e 4
6. Q por Modus Tollens entre 2 e 5
7. P por Modus Tollens entre 1 e 6
8. P pela dupla negação em 7, Portanto o argumento é válido 2. Considere o seguinte argumento: “Se as taxas de juros caírem, o mercado imobiliário vai melhorar. A taxa federal de descontos vai cair ou o mercado imobiliário não vai melhorar.
As taxas de juros vão cair. Portanto, a taxa federal de descontos vai cair.” Verifique, usando prova direta, se este argumento é, ou não, válido.
P: as taxas de juros caem, Q: o mercado imobiliário melhora, R: as taxas federal de descontos caem.
Simbolicamente: P  Q, R  Q, P  R.
1. PQ premissa
2. R Q premissa
3. P premissa
4. Q por Modus Ponens entre 1 e 3
5. P pelo silogismo disjuntivo entre 2 e 4, Portanto o argumento é válido 3. Considere o seguinte argumento: “Meu cliente é canhoto, mas se o diário não tiver sumido, então meu cliente não é canhoto. Portanto, o diário sumiu”. Verifique, usando prova direta, se este argumento é, ou não, válido. P: meu cliente é canhoto, Q: o diário sumiu Simbolicamente: P , Q  P  Q.

1. P premissa
2. Q P premissa
3. Q por Modus