4 simbolizacao LC exercicios

Prévia do material em texto

GAN00166 Lógica para a Ciência da Computação 2021-1
Lista de Exerćıcios – Aula 3b
Petrucio Viana & Renata de Freitas
GAN-IME-UFF
Exerćıcio 1 Para cada uma das sentenças a seguir, faça o que se pede:
(i) Classificar como atômica, negação, conjunção, disjunção, implicação ou biim-
plicação.
(ii) Definir uma legenda e simbolizar em LC.
1. Não acontece que Paulo vá reprovar toda a turma.
2. Marcelo e Paulo são inteligentes.
3. Marcelo e Paulo são grandes amigos.
4. Marcelo e Paulo são meus grandes amigos.
5. Marcelo e Paulo são chatos e sem graça.
6. Marcelo é gente fina mas Paulo não.
7. Marcelo não é bem humorado mas Paulo sim.
8. Nem Marcelo nem Paulo gostam de quem não estuda.
9. Marcelo é chato ou é mal humorado.
10. Marcelo vai de carro ou vai de ônibus, mas não ambos.
11. Marcelo ou Paulo é o melhor professor.
12. Paulo é o melhor professor ou o melhor atleta.
13. Se provocado, Marcelo reage.
14. Paulo não mente, se a pergunta for sobre Matemática.
15. Marcelo fica irritado, quando os alunos conversam.
16. Quando os alunos conversam, Paulo fica bravo.
17. Para Marcelo ficar feliz basta todo mundo estudar.
18. Quando todo mundo estuda Marcelo fica feliz.
19. Para Felipe passar em Lógica tem que estudar e aprender.
20. Felipe não estuda acarreta que Marcelo não fica feliz.
1
GAN00166 Lógica para a Ciência da Computação 2021-1
21. Se Felipe não estudar e aprender, não vai passar em Lógica.
22. Se Felipe não estudar e nem aprender, não vai passar em Lógica.
23. Como Felipe passou em Lógica é porque estudou e aprendeu.
24. Felipe estudar é suficiente para aprender.
25. Felipe estudar é necessário para que aprenda.
26. Para Felipe aprender não é necessário estudar.
27. Todo mundo estudar acarreta Paulo estar feliz.
28. Paulo estar feliz é uma conseqüência de todo mundo estudar.
29. Elisangela e Márcia vão para a faculdade.
30. Se Felipe encontrou com Elisangela, Márcia não.
31. Felipe vai passar em Lógica se estudar.
32. Felipe vai em passar Lógica somente se estudar.
33. Felipe vai passar no curso de Lógica somente se estudar e fizer os exerćıcios e
estudar.
34. Felipe não vai passar no curso de Lógica somente se não fizer os exerćıcios nem
estudar.
35. Não é o caso que Felipe vai passar no curso de Lógica, mesmo sabendo-se que ele
estuda e faz os exerćıcios.
36. Uma condição suficiente para que Felipe passe no curso de Lógica é que ele estude
e faça os exerćıcios.
37. Se Felipe não estudar e nem fizer os exerćıcios, ele não passará no curso de Lógica.
38. Se Felipe e Elisangela trabalharem em paz, não existirá perda ou ganho de eficiên-
cia, quando eles trabalharem juntos.
© 2021 Petrucio Viana & Renata de Freitas
Atualizado em 7 de novembro de 2021.
2