Introdução à Lógica – 2011/1

Profa. Thereza Padilha

Atividade em Grupo (Até 5 pessoas) – 31/05/2011

1. Considerando que P(x) equivale a x é ave e x voa, traduza para linguagem natural:
a) x: P(x)
b) ~x: P(x)
c) x: ~P(x)
d) x: P(x)
e) x: ~P(x)
f) ~x: P(x)

2. Escreva a negação das seguintes afirmações:

a) Nenhuma ave é quadrúpede
b) Nem todo homem é mortal
c) Todo homem não é mortal
d) Algum homem é imortal
e) Alguns gatos têm raça

3. Sabe-se que existe pelo menos um A que é B. Sabe-se, também, que todo B é C. Segue-se,
portanto, necessariamente que
a) todo C é B.
b) todo C é A.
c) algum A é C.
d) nada que não seja C é A.
e) algum A não é C.

4. Todos os alunos de matemática são, também, alunos de inglês, mas nenhum aluno de inglês é
aluno de história. Todos os alunos de português são também alunos de informática, e alguns alunos
de informática são também alunos de história. Como nenhum aluno de informática é aluno de
inglês, e como nenhum aluno de português é aluno de história, então:
a) pelo menos um aluno de português é aluno de inglês.
b) pelo menos um aluno de matemática é aluno de história.
c) nenhum aluno de português é aluno de matemática.
d) todos os alunos de informática são alunos de matemática.
e) todos os alunos de informática são alunos de português.

5. Represente em lógica de predicados os seguintes argumentos:

a) Alguns pacientes gostam de todos os médicos. Nenhum paciente gosta de impostores. Portanto,
nenhum médico é um impostor.
b) Todo atleta é forte. Todo aquele que for inteligente e forte terá sucesso em sua carreira. Peter é
um atleta. Peter é inteligente. Portanto, Peter terá sucesso em sua carreira.
c) Todo número racional é um número real. Alguns números reais são números racionais. Logo, nem
todo número real é um número racional.
d) São Francisco é amado por todos aqueles que amam alguém. Assumir também que não há
ninguém que não ame ninguém. Deduza que São Francisco é amado por todos.
e) São Francisco é amado por todos aqueles que amam alguém. Não há ninguém que não ame
ninguém. Logo, São Francisco é amado por todos.

6. Encontre a conclusão das seguintes fórmulas lógicas a partir das premissas utilizando as regras
de inferência e equivalência.
a) x(p(x)  q(x)), x p(x)  x q(x)
b) x(p(x)  q(x)), x ~p(x)  x q(x)
c) x(s  q(x))  s  x q(x)
d) x(p(x)  q(x))  x p(x)  x q(x)
e) x (p(x)  q(x))  x p(x)  x q(x)