Contato

• Jean Paulo Martins (jeanmartins utfpr edu br)
• Sala 105, Bloco S (UTFPR - Campus Pato Branco)

Exercícios (John Nolt, pg. 93[3.1],99[3.3])

Considere as seguintes premissas:

• $p$ : “Está chovendo.”
• $q$ : “Está nevando.”
• Expresse cada uma das seguintes sentenças na notação do cálculo proposicional.

1. Está chovendo.

2. Não está chovendo.

3. Está chovendo ou nevando.

4. Está chovendo e nevando.

5. Está chovendo mas não está nevando.

6. Não é caso que está chovendo e nevando.

7. Se não está chovendo, então está nevando.

8. Não é o caso que se está chovendo então está nevando.

9. Não é o caso que se está nevando então está chovendo.

10. Está chovendo se e somente se não está nevando.

11. Não é o caso que está chovendo ou nevando.

12. Se está nevando e chovendo, então está nevando.

13. Se não está chovendo, então não é o caso que está nevando e chovendo.

14. Ou está chovendo e nevando, ou está nevando mas não está chovendo.

Formalize os seguintes argumentos:

1. Se Deus existe, então a vida tem significado. Deus existe. Portanto, a vida tem significado.

2. Deus não existe. Pois, se Deus existisse, a vida teria significado. Mas a vida não tem significado.

3. Se o avião não tivesse caído, nós teríamos feito contato pelo rádio. Não fizemos contato pelo rádio. Portanto, o avião caiu.

4. Como hoje não é quinta-feira, deve ser sexta-feira. Hoje é quarta-feira ou sexta-feira.

5. Se hoje é quinta-feira, então amanhã será sexta-feira. Se amanhã for sexta-feira, então depois de amanhã será sábado. Consequentemente, se hoje for quinta-feira, então depois de amanhá será sábado.

6. Hoje é um fim de semana se e somente se hoje é sábado ou domingo. Portanto, hoje é um fim de semana, desde que hoje é sábado.

7. Hoje é um fim de semana se hoje é sábado ou domingo. Mas, hoje não é um fim de semana. Portanto, hoje não é sábado e hoje não é domingo.

8. Hoje é um fim de semana somente se hoje é sábado ou domingo. Hoje não é sábado. Hoje não é domingo. Portanto, hoje não é fim de semana.

9. A proposta de auxílio está no correio. Se os árbitros a receberem até sexta-feira, eles a analisarão. Portanto eles a analisarão porque se a proposta estiver no correio, eles a receberão até sexta-feira.

10. Ela não está em casa ou não está atendendo ao telefone. Mas, se ela não está em casa, então ela foi sequestrada. E se ela não está atendendo ao telefone, ela está correndo algum outro perigo. Portanto, ou ela foi sequestrada ou ela está correndo um outro perigo.