LISTA DE EXERCÍCIOS 5

Cálculo dos predicados

As questões dessa lista foram criadas pela monitora da disciplina com

base nos exercícios feitos em sala no semestre 2018.2, turma 1335A de
CIN7141 - Lógica Instrumental I.

1. Dada a convenção abaixo, traduza as frases para a lógica dos predicados:

A: x é alto(a)
B: x é baixo(a)
C: x é mais alto(a) que y
D: x é mais baixo(a) que y
a: Ana
b: Bruno
c: Carlos
a) Ana é alta.
b) Bruno é baixo.
c) Ana é alta, mas Bruno é baixo.
d) Carlos é mais alto que Ana.
e) Ana é alta, mas Carlos também é.
f) Ana é mais baixa que Carlos.
g) Bruno não é alto.
h) Bruno não é mais alto que Carlos.
i) Ana é mais baixa que Carlos, mas é mais alta que Bruno.
j) Carlos é mais alto que Bruno ou que Ana.
k) Ana é mais alta que Bruno e mais baixa que Carlos.

2. Identifique quais alternativas fazem parte do alfabeto da lógica dos

predicados:
a) m
 b) i27
c) K
d) u97
e) 87
f) x0
g) z
h) N
i) A
j) t45
k) r9
l) MA
m) Lna

3. Traduza as frases abaixo para a linguagem da lógica dos predicados:

a) Ana é loura ou André tem cabelos castanhos.
b) Bruno gosta de laranjas e Bernardo gosta de maçãs.
c) Carol é alta ou Ciro é baixo.
d) Diego vai ao trabalho de bicicleta ou a pé se não estiver chovendo.
e) Eduardo não gosta de banana, mas Eunice gosta.
f) Fabíola é bonita ou inteligente.
g) Garfield é um gato ou Gertrudes é uma joaninha.
h) Helena vai ao cinema se Henrique não for à praia.
i) Igor e Iago têm cabelos escuros.
j) Júlia e Juliana irão ao mercado se José e João limparem a geladeira.
k) Kamila irá ao médico se Kris levá-la de carro ou de helicóptero.
l) Lucas não assisitirá às aulas se ele não estiver matriculado na
disciplina ou não se interessar pelo conteúdo.
m) Se Marcos tem olhos azuis e Maria tem olhos azuis, então Michele
terá olhos azuis ou Milena terá olhos azuis.
4. Traduza as frases a seguir para a lógica dos predicados:
a) Eu não gosto de peixe.
b) Marina é vegetariana.
c) Você vai à festa.
d) Ana e Priscilla são amigas.
e) Ele não comerá isto.
f) Ela limpou a casa.
g) Anil é o nome do meu peixinho de estimação.
h) Hoje choveu.
i) Amanhã eu voltarei de viagem.
j) Clarice me desejou felicidades.
k) Cláudia foi promovida.
l) Leonardo trabalha em um zoológico.
m) Maria e João foram à igreja ontem.
n) Pi é um número real.
o) Na Europa neva.
p) Eu gostaria de dançar com você.
q) Marina foi ao aniversário de Ana.
r) Juliano adora maçãs.
s) Eu reguei as plantas hoje de manhã.
t) O meu pai é um homem muito inteligente.
u) Dois menos dois é igual a zero.
v) Quatro dividido por dois é igual a dois.
w) Quatro multiplicado por seis resulta em vinte e quatro.
x) A prima de Claudia gosta de pescar.
y) Cherry significa cereja em inglês.
z) Um litro equivale a um decímetro cúbico.
5. Classifique os termos abaixo em constante ou variável:
a) a
b) z
c) j
d) k
e) u
f) t
g) a23
h) c9
i) d
j) f
k) y
l) x
m) x21
n) s
o) b
p) z5
q) f43
r) r2
s) m
t) n
u) u4
v) k234
w) t67
x) v
y) e92543
z) p31415
 Gabarito

1. a) Aa
b) Bb
c) Aa ꓥ Bb
d) Cca
e) Aa ꓥ Ac
f) Dac
g) ¬Ab
h) ¬Cbc
i) Dac ꓥ Cab
j) Ccb ꓦ Cca
k) Cab ꓥ Dac

2. Alternativas a, b, c, g, h, i, k.

3. O gabarito deste exercício varia de acordo com a convenção

criada/usada, portanto, algumas respostas talvez não estejam de acordo
com este gabarito proposto. Para ter certeza de que as respostas estão
corretas, consultar professor ou monitora da disciplina.
a) La ꓦ Cd
b) Lb ꓥ Me
c) Aa ꓦ Bi
d) ¬C → (Tdb ꓦ Tdp)
e) ¬Bd ꓥ Bn
f) Bf ꓦ If
g) Ga ꓦ Je
h) ¬Ph → Ch
i) Er ꓥ Ea
 j) (Gs ꓥ Ga) → (Mj ꓥ Mn)
k) (Lrmc ꓦ Lrmh) → Mm
l) (¬Ml ꓦ ¬Il) → ¬Al
m) (Ac ꓥ Ar) → (Ah ꓦ An)

4. O gabarito deste exercício varia de acordo com a convenção

criada/usada, portanto, algumas respostas talvez não estejam de acordo
com este gabarito proposto. Para ter certeza de que as respostas estão
corretas, consultar professor ou monitora da disciplina.
a) ¬Pe
b) Vm
c) Fa
d) Aap
e) ¬Ce
f) La
g) Nap
h) C
i) Ve
j) Fce
k) Pc
l) Zl
m) Im ꓥ Ij
n) Rp
o) Ne
p) Dea
q) Ama
r) Mj
s) Re
t) Ip
 u) Idde
v) Dqdd
w) Mqsa
x) Pp
y) Icj
z) Eld

5. a) Constante.
b) Variável.
c) Constante.
d) Constante.
e) Variável.
f) Constante.
g) Constante.
h) Constante.
i) Constante.
j) Constante.
k) Variável.
l) Variável.
m) Variável.
n) Constante.
o) Constante.
p) Variável.
q) Constante.
r) Constante.
s) Constante.
t) Constante.
u) Variável.
v) Constante.
w) Constante.
x) Variável.
y) Constante.
z) Constante.