A Lógica Matemática
Por: Artur Amorim • 6/3/2017 • Tese • 26.058 Palavras (105 Páginas) • 388 Visualizações
Faculdades Integradas Espírito-Santenses[pic 1]
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
(com respostas)
Avaliações
Prova | Conteúdo | Referência livro texto | Exercícios |
1ª prova | Representação simbólica | cap 1: | 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.
- 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."
- 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 ^ (b v c) Resposta: verdadeiro
- (a ^ b) v c Resposta: verdadeiro
- (a ^ b)’ v c Resposta: verdadeiro
- a’ ^ (b’ v c)’ Resposta: falso
- Qual o valor lógico de cada uma das proposições a seguir?
- 8 é par ou 6 é ímpar. Resposta: verdadeiro
- 8 é par e 6 é ímpar. Resposta: falso
- 8 é ímpar ou 6 é ímpar. Resposta: falso
- 8 é impar e 6 é ímpar. Resposta: falso
- Sejam a, b e c as seguintes proposições: a: rosas são vermelhas; b: violetas são azuis; c: açúcar é doce
Represente simbolicamente cada uma sentença a seguir:
- Rosas são vermelhas e violetas são azuis.
Resposta: a ^ b - Rosas são vermelhas e, violetas são azuis ou açúcar é doce.
Resposta: a ٨ ( b ٧ c) - Rosas não são vermelhas e violetas não são azuis.
Resposta: a’ ٨ b’ - Rosas não são vermelhas ou violetas não são azuis.
Resposta: a’ ٧ b’ - É falso afirmar que: rosas são vermelhas e violetas são azuis.
Resposta: (a ٨ b)’ - É falso afirmar que: rosas são vermelhas ou violetas são azuis.
Resposta: (a ٧ b)’
- Encontre o antecedente e o conseqüente da cada uma das proposições a seguir.
- Se o sistema não inicia é porque a memória está ruim ou o HD com defeito
Resposta:
antecedente: memória está ruim ou o HD com defeito
conseqüente: sistema não inicia
- O crescimento sadio das plantas é conseqüência da quantidade suficiente de água.
Resposta:
antecedente: quantidade suficiente de água
conseqüente: crescimento sadio das plantas
- O aumento da disponibilidade de informação é uma condição necessária para um maior desenvolvimento tecnológico.
Resposta:
antecedente: maior desenvolvimento tecnológico
conseqüente: aumento da disponibilidade de informação
- Serão introduzidos erros apenas se forem feitas modificações no programa.
Resposta:
antecedente: erros introduzidos
conseqüente: forem feitas modificações no programa
- A economia de energia para aquecimento implica boa insulação ou vedação de todas a janelas.
Resposta:
antecedente: economia de energia para aquecimento
conseqüente: boa insulação ou vedação de todas a janelas
...