Lógica matemática

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."
Conclusão: "Galinha voa."

2. Dados os valores lógicos: A verdadeiro, B falso e C verdadeiro, qual o valor lógico de cada uma das fbfs a seguir?
a. a ^ (b v c) Resposta: verdadeiro
b. (a ^ b) v c Resposta: verdadeiro
c. (a ^ b)’ v c Resposta: verdadeiro
d. a’ ^ (b’ v c)’ Resposta: falso

3. Qual o valor lógico de cada uma das proposições a seguir?
a. 8 é par ou 6 é ímpar. Resposta: verdadeiro
b. 8 é par e 6 é ímpar. Resposta: falso
c. 8 é ímpar ou 6 é ímpar. Resposta: falso
d.