LISTA 04 - LÓGICA PARA COMPUTAÇÃO

BSI/FACOM - MONTE CARMELO

1. Escreva na forma de fórmula da Lógica dos Predicados:

a) Todo poeta é um fingidor.

b) Quarto com vista pra praia é caro.
c) Apenas tulipas são românticas.
d) Toda sentença que é uma afirmação é ou verdadeira ou falsa. (nota: falsa = não-verdadeira!)
e) Um violão de alta qualidade é caro e difícil de encontrar.
f) José é culpado se todas as testemunhas disseram a verdade.
g) Nem todo fã de Jazz gosta de Monk.
h) Se todo mundo é feliz, então Karina é feliz.
i) Se existe alguém feliz, então todo pensamento é positivo.
j) Alguns artistas são normais, mas não o Van Gogh.
k) Se Platão estiver correto, então existem ideias ruins a Lógica é importante.
l) Há um quarto com vista pra praia disponível.
m) Nenhum brasileiro é bobo.
n) Nenhum europeu passa fome.
o) Todo jovem é precipitado e todo idoso é paciente.
p) Não corte o fio vermelho ou tudo estará perdido.
q) Se algum aluno passar na disciplina, todos os alunos farão um churrasco.
r) Todo mundo é rico demais ou pobre demais.
s) Não existem finais felizes.
t) Não existe ninguém bem sucedido sem ser esforçado.
u) Lógica é top.

2. Escreva na forma de fórmula da Lógica dos Predicados, usando o predicado duplo

gosta(a,b) para dizer que “a gosta de b”:

a) João gosta de Maria.

b) João gosta de Maria e Maria gosta de João.
c) João gosta de todo mundo.
d) Maria não gosta de ninguém.
e) Todo mundo gosta de alguém. ​(dica: aqui você precisa de 2 variáveis. use X e Y!)
f) Eu gosto de João e de Maria.
g) João não gosta de futebol.