Lógica matemática

8287 palavras 34 páginas
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."

Relacionados

  • Logica matemática
    938 palavras | 4 páginas
  • Lógica matemática
    2577 palavras | 11 páginas
  • Logica matematica
    823 palavras | 4 páginas
  • Logica matematica
    481 palavras | 2 páginas
  • A lógica no cotidiano e a lógica na matemática
    1961 palavras | 8 páginas
  • Exercicios logica matematica
    854 palavras | 4 páginas
  • O pensamento pré logico e conhecimento lógico matemático
    2490 palavras | 10 páginas
  • DESENVOLVIMENTO DO RACIOCÍNIO LÓGICO MATEMÁTICO.
    5046 palavras | 21 páginas
  • Avs 2013 Logica Matematica
    938 palavras | 4 páginas
  • Árvores de Refutação - Lógica Matemática
    831 palavras | 4 páginas