Fundamentos de lógica e matemática discreta

[pic]

SUMÁRIO

1 INTRODUÇÃO..........................................................................................................3

2 PARTE I 4
2.1 VIDA E OBRA DE ARISTÓTELES 4

3 PARTE II...................................................................................................................6
3.1 APLICAÇÃO DE CONHECIMENTOS DE CONSTRUÇÃO DE TABELA–VERDADE NA RESOLUÇÃO DE PROBLEMAS.........................................................6
3.1.1 Problema.............................................................................................................6
3.1.2 Resolução............................................................................................................6

4 CONCLUSÃO ..........................................................................................................9

REFERÊNCIAS .........................................................................................................10

1 INTRODUÇÃO

Os Fundamentos de Lógica e Matemática discreta tem como objetivo descrever a importância da lógica e alguns tópicos da matemática discreta. A lógica nos auxilia no raciocínio para justificar nossas conclusões a partir de fatos básicos e também na compreensão de conceitos básicos de qualquer disciplina que queremos estudar. Para o domínio da computação, a lógica é importante na verificação formal de programas. A lógica formal surge com Aristóteles em uma reunião de escritos lógicos chamado de O Organon. Segundo Aristóteles, a lógica estuda a razão como instrumento da ciência ou como um meio de adquirir e possuir a verdade, e o ato próprio da razão é o ato de raciocinar.

2 PARTE I

2.1 VIDA E OBRA DE ARISTÓTELES