Faculdades Integradas Espírito-Santenses
Unidade de Computação e Sistemas
Curso de Sistemas de Informação
Disciplina: Lógica Matemática - 2009/2
Prof. Henrique Monteiro Cristovão

Roteiro de Estudos através de Exercícios
(com respostas)

Avaliações

Prova Conteúdo Referência livro texto Exercícios
1ª prova Representação simbólica cap 1: seções 1.1 e 1.2
1 a 17 Tabela verdade Equiv. Notáveis e regras de dedução
2ª prova Quantificadores, predicados e validade cap 1: seção 1.3, 1.4 e 1.5
18 a 25 Lógica de predicados 3ª prova Álgebra booleana cap 7: seção 7.1
26 a 30 Simplificação pelo método algébrico Aplicação em expressões algoritmicas

Bibliografia básica

GERSTING, Judith L. Fundamentos matemáticos para a ciência da computação: um tratamento moderno de matemática discreta. 5. ed. Rio de Janeiro: LTC, 2004. Capítulos 1 e 7.

Exercícios referentes à primeira avaliação: 1 a 17.

1. Classifique os argumentos abaixo em ( I ) para indutivo e ( D ) para dedutivo.
( D ) Premissa : "Todo homem é mortal."
Premissa : "João é homem." Conclusão : "João é mortal."

( I ) Premissa : "É comum após a chuva ficar nublado."
Premissa : "Está chovendo."
Conclusão: "Ficará nublado."

( D ) Premissa : "As aves tem penas."
Premissa : "Urubu é um animal que tem bico."
Premissa : "Animal que tem bico é uma ave."
Conclusão: "Urubu tem pena."

( I ) Premissa : "A maioria das aves voam."
Premissa : "Galinha é uma ave."