3.

Traduza os seguintes enunciados para a linguagem do CQC:

a) Nenhum mamfero aqutico tem pernas. (M: x mamfero; A: x
aqutico; P: x tem pernas).
b) Alguns cordados vivparos no so mamferos nem peixes cartilaginosos
(C: x cordado; V: x vivparo; P: x peixe; T: x cartilaginoso).
c) Nenhum nmero inteiro par maior que dois primo (N: x um nmero
inteiro; E: x par; M: x maior que y; P: x primo; d: dois).
d) Nenhum corpo que esteja em repouso ou em movimento retilneo
uniforme encontra-se sob a ao de uma fora (C: x um corpo; R: x est
em repouso; M: x est em movimento retilneo uniforme; F: x est sob ao
de uma fora).
e) Nem tudo que est no mundo pensa ou extenso. (M: x est no mundo;
P: x pensa; E: x extenso).
f) Toda ideia que no criada nem provm da experincia inata (C: x
uma idia; A: x criada; E: x provm da experincia; I: x inata).
g) Todas as cincias exatas so importantes, mas nem toda cincia
importante exata (C: x cincia; E: x exata; I: x importante).
h) Se nem todas as cincias so quantitativas, nem todas as cincias so
exatas. (Q: x quantitativa).
i) Quem no l livros no sabe muitas coisas, mas h livros que no
merecem ser lidos (L: x l livros; S: x sabe muitas coisas; B: x um livro; M:
x merece ser lido).
j) Somente h instituies confiveis se nenhuma desonestidade for
recompensada(I: x uma instituio; C: x confivel; D: x uma
desonestidade; R: x recompensado).
k) Se h alunos que no estudam e so recompensados, nem todo professor
competente (A: x aluno; E: x estuda; P: x professor; C: x
competente).
l) Se somente os amigos e parentes de Joo so favorecidos, Joo
corrupto. (A: x amigo de y; P: x parente de y; F: x favorecido; C: x
corrupto; j: Joo).
m) Todos so amigos de algum (A: x amigo de y).
n) Algum amigo de todos.
o) Se apenas os estudantes dedicados so aprovados e alguns estudantes
inteligentes so dedicados, ento alguns estudantes aprovados so
inteligentes. (E: x estudante; D: x dedicado; I: x inteligente; A: x
aprovado).
p) Pedro e Carlos so matemticos e todos os matemticos gostam de
Lgica, mas h cientistas que gostam de Lgica e no de Matemtica. (p:
Pedro; c: Carlos; l: Lgica; m: Matemtica; M: x um matemtico; C: x um
cientista; G: x gosta de y).

q) Todo aluno est matriculado em uma disciplina de que ele no gosta (A: x
aluno; M: x est matriculado em y; D: x uma disciplina; G: x gosta de y)
r) Todo aluno que no est matriculado em uma disciplinada qual ele gosta
infeliz (I: x infeliz).
s) Todos os livros de Histria esto na seo Humanidades, mas nem
todos os livros que esto na seo Humanidades so de Histria. (L: x
um livro; H: x de Histria; S: x est na seo y; h: Humanidades).
t) Nem todos os livros de Histria esto na seo Humanidades, e algumas
revistas de Histria esto na seo Peridicos Especiais. (R: x uma
revista; p: Peridicos Especiais).
u) Se algum aluno de Estatstica est matriculado em alguma disciplina,
nenhum aluno de Matemtica estar matriculado nela (A: x aluno de y; e:
Estatstica; m: Matemtica).
v) Nem todo evento no previsto improvvel (E: x um evento; P: x
previsto; I: x improvvel). w) Nem todo aluno estudioso gosta de alguma
disciplina complicada (A: x aluno; E: x estudioso; C: x complicada).
x) Nem todo aluno estudioso que gosta de alguma disciplina complicada
gosta de Lgica (l: Lgica).
y) Todo amigo de Joo que no gosta de Carlos tem um amigo que no
amigo de Joo (A: x amigo de y; j: Joo; c: Carlos).
z) Todo inimigo de algum dos inimigos de Pedro amigo dele (I: x inimigo
de y; p: Pedro).