LÓGICA II – CÁLCULO DE PREDICADOS

EXERCÍCIO AVALIATIVO - Valor: 12,0 pontos. - Data: 22/06/20

Nome(s): José Ricardo Duarte

EXERCÍCIO #03

Traduza os enunciados abaixo de acordo com a linguagem do Cálculo dos

Predicados usando a notação sugerida:
Enunciados Notação sugerida Tradução

01. Algo é bom B = x é bom (∃x) (Bx)

02. Algo não é feliz F = x é feliz (∃x) (~Fx)

03. Alguns indivíduos não são sinceros I = x é indivíduo (∃x) (Ix~Sx)

S = x é sincero

04. Algumas mulheres são feministas M = x é mulher (∃x) (Mx ^ Fx)

F = x é feminista

05. Tudo é imperfeito I = x é imperfeito (∀x) (Ix)

06. Nada é certo C = x é certo (∀x) (Cx)

07. Todo estudante de filosofia gosta de E = x é estudante de

lógica filosofia (∀x) (Ex → Lx)
L = x gosta de lógica

08. Nenhum adolescente é conformista A = x é adolescente (¬∃x) (Ax ^ Cx)

C = x é conformista

09. Alguns filósofos são difíceis F = x é filósofo

D = x é difícil (∃x) (Fx ^ Dx)

10. Nenhum homem é uma ilha H = x é homem (¬∃x) (Hx ^ Ix)

I = x é uma ilha

11. Alguns números naturais são ímpares N = x é número (∃x) (Nx ^ Ix)
natural
I = x é ímpar

12. Nem todos os animais são vertebrados A = x é animal (∃x) (Ax ^ Vx)
V = x é vertebrado