Lógica para ciencia da computação

LISTA DE EXERCÍCIOS 1 – AULA 1

Identifique se cada item abaixo é um argumento e em caso afirmativo, quais são as premissas e se é indutivo ou dedutivo.

1. Se houver uma guerra nuclear, a civilização será destruída. O mundo está em paz. A civilização permanece na Terra
2. A pesquisa de opinião pública ouviu muita gente. O candidato A deve vencer.
3. Ele é do signo de Leão pois nasceu na primeira semana de agosto.
4. Como a economia pode ser melhorada? O déficit comercial está crescendo a cada dia!
5. Os entrevistados não sabem se votam em A ou B.
6. Só há movimento no carro se houver combustível. O carro está em movimento. Logo, há combustível no carro.
7. Só há fogo se houver oxigênio. Na lua não há oxigênio. Logo, na lua não pode haver fogo.
8. A sala 1 da escola foi pintada de verde. As salas 2, 3, 4, 5, 6, também foram pintadas de verde. Logo, todas as salas da escola foram pintadas de verde.
9. O ouro conduz eletricidade e é um metal. O ferro, o zinco, o bronze, a prata também são metais e conduzem eletricidade. Logo, todo metal conduz eletricidade.
10. Qual o time que irá jogar? Treze ou Campinense.
11. Todo mamífero tem um coração. Todos os cavalos são mamíferos. Todos os cavalos têm um coração.
12. Se chove molha a rua. A rua está molhada. Está chovendo.

LISTA DE EXERCÍCIOS 2 – AULA 2
Formalizar as seguintes proposições:
1. Eu não irei à festa, mas Pedro irá ou Antônio irá.
2. Vá com a família ou vá só; e divirta-se.
3. Vá com a família; ou vá só e divirta-se.
4. Se Pedro chegou, está em sua sala; mas em verdade, Pedro não chegou.
5. Se Pedro tivesse vindo, estaria em sua sala; mas ele não veio.
6. Se Pedro tivesse vindo, estaria em sua sala; mas ele não está em sua sala.
7. Se Maria ganhar o jogo então Pedro fica em segundo lugar e Paulo sai do jogo.
8. Se não faz frio, freqüento o clube; quando freqüento o clube, costumo nadar.
9. Pedro irá se Maria for mas Luiza não.

Duas interpretações: a) Se Maria