LOGICA

1.Demonstrar a validade do argumento ¬p → q, q → ¬r, r V s, ¬s → p.

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. Por tanto, a taxa federal de descontos vai cair.” Verifique, usando prova direta, se este argumento é, ou não, 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.

4.Considere o seguinte argumento: “Descosos são cor de rosa mas, se Gincoso não gostar de pereques, então descosos não são cor de rosa. Portanto, Gincoso não gosta de pereques”.Verifique, usando prova direta, se este argumento é, ou não, válido e compare este argumento com o do problema anterior.

5.Considere as seguintes sentenças:

Raquel é rica.

Raquel é inteligente.

Se Raquel é inteligente e bonita, ela vai ser freira.

Raquel é bonita se ela frequenta a Academia.

Raquel frequenta a Academia se é inteligente.

Usando o método do tableau semântico ou árvore de refutação, a sentença “Raquel vai se casar” é uma consequência lógica dos argumentos acima?