Exercicios Logicamat CC 2009 2

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

Roteiro de Estudos através de Exercícios

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 19

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

20 a 32

Lógica de predicados

Programação lógica com Prolog

3ª prova
Minimização pelo método algébrico cap 7: seções 7.1, 7.2 e 7.3

33 a 50

Forma normal disjuntiva

Minimização pelo Mapa de Karnaugh

Circuitos com portas lógicas

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 19.

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

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

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

( ) Premissa : "A maioria das aves voam."
Premissa : "Galinha é uma ave."
Conclusão: "Galinha voa."

2. Dadas as proposições e os seus respectivos valores lógicos, ‘A’ verdadeiro, ‘B’ falso e ‘C’ verdadeiro, qual o valor lógico de cada uma das fbfs (fórmulas bem formuladas) a seguir?
a. a ^ (b v c)
b. (a ^ b) v c
c. (a ^ b)’ v c
d. a’ ^ (b’ v c)’
3. Qual o valor lógico de cada uma das proposições a seguir?
a. 8 é par ou 6 é ímpar.
b. 8 é par e 6 é ímpar.
c. 8 é ímpar ou 6 é ímpar.
d. 8 é impar e 6 é ímpar.

4. Sejam a, b e c as seguintes proposições: a: rosas