Intro Log Mat
32476 palavras
130 páginas
Introdu¸c˜ ao ` a L´ ogica Matem´ atica para Alunos de Inform´ atica Prof. Jefferson O. AndradeVers˜ao: 2014-04-02
Sum´ ario 1. Introdu¸c˜ ao 1.1. O Que ´e L´ogica? . . . . . . .
1.2. Hist´oria da L´ogica . . . . . .
1.2.1. Pr´e-hist´oria da L´ogica
´
1.2.2. L´ogica na Asia
. . . .
1.2.3. L´ogica na Gr´ecia . . .
1.2.4. L´ogica Medieval . . . .
1.2.5. L´ogica Tradicional . .
1.2.6. A L´ogica Moderna . .
1.3. Motiva¸c˜ao . . . . . . . . . . .
1.4. Objetivos . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2. L´ ogica Formal
2.1. Introdu¸ca˜o . . . . . . . . . . . . . .
2.2. Dedu¸ca˜o e Indu¸c˜ao . . . . . . . . .
2.3. L´ogica Cl´assica e L´ogica Simb´olica
2.4. Proposi¸co˜es e Predicados . . . . . .
2.5. Princ´ıpios da L´ogica . . . . . . . .
2.6. Verdade e Validade . . . . . . . . .
2.7. Silogismo . . . . . . . . . . . . . .
2.8. L´ogica e Autorreferˆencia . . . . . .
2.9. Racioc´ınio L´ogico . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3. L´ ogica Proposicional
3.1. C´alculo Proposicional . . . . . . . . . . . . . . . . .
3.1.1. Proposi¸c˜oes Simples . . . . . . . . . . . . .
3.1.2. Proposi¸c˜oes Compostas e Conectivos L´ogicos
3.1.3. F´ormulas Bem Formadas . . . . . . . . . . .
3.1.4. Tabelas-Verdade . . . . . . . . . . . . . . .
3.1.5. Tautologia, Contradi¸c˜ao e Contingˆencia . . .
3.1.6. Equivalˆencia L´ogica . . . . . . . . . . . . . .
3.1.7. Inferˆencia L´ogica . . . . . . . . . . . . . . .
3.2. Dedu¸ca˜o no C´alculo Proposicional . . . . . . . . . .
3.2.1. Argumentos . . . . . . . . . . . . . . . . . .
3.2.2. Dedu¸c˜ao . . . . . . . . . . . . . . . . . . . .
3.2.3. Equivalˆencias e