Lista de execícios de reforço 3

Prévia do material em texto

Lógica 1 — Exercícios Suplementares — Lista 3
Exercício 1. Para cada uma das proposições categóricas que aparecem no exercício, indique constantes de
predicado para representar os termos sujeito e predicado da proposição, e represente-a na linguagem do CQC,
conforme o exemplo a seguir:
Exemplo
• Nenhuma espécie de pinheiro é uma árvore que perde as folhas no inverno.
Linguagem:
E: x é uma espécie de pinheiro
A: x é uma árvore que perde as folhas no inverno
Tradução:
∀x(Ex →¬Ax) ou então ¬∃x(Ex ∧ Ax)
(a) Alguns peixes marinhos são azuis.
(b) Todos os gatos pretos que moram em Florianópolis são felinos que têm exatamente quatro patas.
(c) Nenhuma borboleta amazônica é um crustáceo.
(d) Alguns papagaios não são vermelhos.
(e) Alguns pinguins que moram na Antártida não são animais que gostam do frio.
(f) Nem todos os filhotes de jacaré são répteis que vivem no Pantanal.
(g) Todos os filhos de João são estudantes universitários que almoçam no RU.
(h) Nenhuma ostra que tenha sido gratinada é agradável ao paladar.
(i) Todos os gafanhotos verdes são comestíveis quando refogados em azeite de oliva.
(j) Alguns diretores de cinema que fizeram sucesso em Cannes não são canadenses.
(k) Todo inca venusiano é um inimigo de National Kid.
(l) Algumas espécies de pinheiro não são árvores que perdem as folhas no inverno.
(m) Alguns dinossauros do período Jurássico são animais de sangue quente.
(n) Nenhum planeta que gira em redor de uma estrela binária é um corpo celeste que tenha condições de
abrigar vida como a que conhecemos na Terra.
(o) Todos os gatos pretos que moram em Florianópolis são felinos que têm exatamente quatro patas.
(p) Nenhum felino africano que tem menos de quatro patas é um bom caçador de ratos.
(q) Todos os corpos celestes que tem condições de abrigar vida como a que conhecemos na Terra são
planetas de órbita estável.
(r) Nenhum silogismo que tenha premissas verdadeiras e conclusão falsa é um argumento em que se possa
confiar.
(s) Toda pessoa que é persistente e faz todos os exercícios é um candidato a tirar uma ótima nota em
qualquer prova de lógica.
Exercício 2. Transcreva as sentenças abaixo para a linguagem do CQC, usando a notação sugerida:
a: Alice; c: Carlos; L: x é um livro; P: x é um psicólogo; F : x é um filósofo;
G: x gosta de y; D: x dá y para z
(a) Carlos deu um livro para Alice.
(b) Todos deram um livro para Alice.
(c) Nenhum filósofo é psicólogo.
1
(d) Todos os filósofos gostam de alguém.
(e) Os filósofos gostam de todos os livros.
(f) Há um livro do qual todos os filósofos gostam.
(g) Há um livro do qual nenhum psicólogo gosta.
(h) Um filósofo deu um livro para Alice, do qual ela não gostou.
(i) Se Carlos gosta de Alice, então alguém gosta de Alice.
(j) Alice não é uma psicóloga, se é uma filósofa.
(k) Alice não gosta de psicólogos.
(l) Alice não gosta de psicólogos nem de filósofos.
(m) Carlos não gosta de ninguém, se ele não gosta de si mesmo.
(n) Nenhum filósofo é psicólogo se e somente se nenhum psicólogo é filósofo.
(o) Se os filósofos gostam de todos, então todos gostam de todos.
(p) Alguns filósofos não são psicólogos, mas alguns são.
Exercício 3. Transcreva as sentenças abaixo para a linguagem do CQC, usando a notação sugerida:
F : x é um fazendeiro; R: x é rico; D: x é filha de y; S: x é solteira; B: x é bonita.
(a) Alguns fazendeiros têm uma filha.
(b) Alguns fazendeiros não têm uma filha.
(c) Alguns fazendeiros ricos tem uma filha.
(d) Todo fazendeiro rico tem uma filha.
(e) Todo fazendeiro rico tem uma filha solteira.
(f) Nenhum fazendeiro rico tem uma filha solteira que seja bonita.
(g) Alguns fazendeiros ricos têm uma filha solteira que não é bonita.
(h) Todo fazendeiro rico tem pelo menos uma filha rica.
(i) Alguns fazendeiros que têm uma filha são ricos.
(j) Nenhum fazendeiro que tem uma filha é rico.
2