Universidade Federal Rural de Pernambuco
Departamento de Matemática
Disciplina: Elementos de Lógica Matemática
Profa Yane Lísley
2a Lista de Exercícios
1. (Esaf) Dadas as proposições compostas, a que tem valor lógico FALSO é:
(a) 3 + 4 = 7 ↔ 53 = 125.
(b) 3 + 2 = 6 → 4 + 4 = 9.
√
(c) 3 > 1 ∨ (π não é um número real).
√
(d) 2 > 1 → 20 = 2.
(e) −2 > 0 ↔ π 2 < 0.
2. (Esaf) Duas pessoas que sabiam lógica, um estudante e um garçom, tiveram o seguinte diálogo
numa lanchonete:
Garçom: "O que deseja?"
Estudante: "Se eu comer um sanduíche então não comerei salada, mas tomarei sorvete."
A situação que torna a declaração do estudante FALSA é:
(a) O estudante não comeu salada, mas tomou sorvete.
(b) O estudante comeu sanduíche, não comeu salada e tomou sorvete.
(c) O estudante não comeu sanduíche.
(d) O estudante comeu sanduíche, mas não tomou sorvete.
(e) O estudante não comeu sanduíche, mas comeu salada.
3. (Esaf) Assinale a opção verdadeira:
(a) 3=4 e 3+4=9.
(b) Se 3=3, então 3+4=9.
(c) Se 3=4, então 3+4=9.
(d) 3=4 ou 3+4=9.
(e) 3=3 se e somente se 3+4=9.
4. (Polícia Civil) A sentença "Penso, logo existo"é logicamente equivalente a:
(a) Penso e existo.
(b) Nem penso, nem existo.
(c) Não penso ou existo.
(d) Penso ou não existo.
(e) Existo, logo penso.
Justifique sua resposta.
5. (Serpro) Uma sentença logicamente equivalente equivalente a "Se Pedro é economista, então
Luísa é solteira"é:
(a) Pedro é economista ou Luísa é solteira.
(b) Pedro é economista ou Luísa não é solteira.
(c) Se Luísa é solteira, Pedro é economista.
(d) Se Pedro não é economista, então Luísa não é solteira.
(e) Se Luísa não é solteira, então Pedro não é economista.
Justifique sua resposta.
6. (MPOG) Dizer que "André é artista ou Bernardo não é engenheiro"é logicamente equivalente
a dizer que:
(a) André é artista se e somente se Bernardo não é engenheiro.
(b) Se André é artista, então Bernardo não é engenheiro.
(c) Se André não é artista, então Bernardo é engenheiro.
(d) Se Bernardo é engenheiro, então André é artista.
(e) André não é artista e Bernardo é engenheiro.
7. (AFC) Dizer que não é verdade que Pedro é pobre e Alberto é alto é logicamente equivalente
a dizer que é verdade que:
(a) Pedro não é pobre ou Alberto não é alto.
(b) Pedro não é pobre e Alberto não é alto.
(c) Pedro é pobre ou Alberto não é alto.
(d) Se Pedro não é pobre, então Alberto é alto.
(e) Se Pedro não é pobre, então Alberto não é alto.
Justifique sua resposta.
8. (Anpad) Para que a afirmativa "Todo matemático é louco"seja falsa, basta que:
(a) Todo matemático seja louco.
(b) Todo louco seja matemático.
(c) Algum louco não seja matemático.
(d) Algum matemático seja louco.
(e) Algum matemático não seja louco.
9. (CVM) Dizer que a afirmação "Todos os economistas são médicos"é falsa, do ponto de vista
lógico, equivale a dizer que a seguinte afirmação é verdadeira:
(a) Pelo menos um economista não é médico.
(b) Nenhum economista é médico.
(c) Nenhum médico é economista.
(d) Pelo menos um médico não é economista.
(e) Todos os não médicos são não economistas.
2
10. (Esaf) Observe o argumento a seguir e a partir das premissas dadas o que podemos concluir?
Surfo ou estudo. Fumo ou não surfo. Velejo ou não estudo. Ora, não velejo. Assim:
(a) estudo e fumo.
(b) não fumo e surfo.
(c) não velejo e não fumo.
(d) estudo e não fumo.
(e) fumo e surfo.
11. (Fiscal do Trabalho) Observe o argumento a seguir e a partir das premissas dadas o que podemos
concluir?
Se Frederico é francês, então Alberto não é alemão. Ou Alberto é alemão, ou Egídio é espanhol.
Se Pedro não é português, então Frederico é francês. Ora nem Egídio é espanhol e nem Isaura
é italiana. Logo:
(a) Pedro é português e Frederico é francês.
(b) Pedro é português e Alberto é alemão.
(c) Pedro não é português e Alberto é alemão.
(d) Egídio é espanhol ou Frederico é francês.
(e) Se Alberto é alemão então Frederico é francês.
12. (Agente Fiscal de Rendas) O paciente não pode, estar bem e ainda ter febre. O paciente está
bem. Logo, o paciente:
(a) Tem febre e não está bem.
(b) Tem febre ou não está bem.
(c) Tem febre.
(d) Não tem febre.
(e) Não está bem.
13. (Esaf) André é inocente ou Beto é inocente. Se Beto é inocente, então Caio é culpado. Caio é
inocente se e somente se Denis é culpado. Denis é culpado. Logo:
(a) Caio e Beto são inocentes.
(b) André e Caio são inocentes.
(c) André e Beto são inocentes.
(d) Caio e Denis são culpados.
(e) André e Denis são culpados.
14. Responder as seguintes questões do livro "Introdução à lógica matemática":
PÁGINA 76 96 97 98 111 120 121 125 143 144 162
EXERCÍCIOS 3,4 3 4,5,6,7 8,9 3,4,5 8 9 15 3 4 1,2,3,4,5
PÁGINA 163 172 173 185 186
EXERCÍCIOS 6,7,8 1 2,3,4,5,6,7,8,9 5,6,8,9,10 13