SciELO Livros g6h2w
Editora UNESP 1ya6k
Introdução à lógica 4d3770
Synopsis 396x5q
Na obra é defendido que a lógica é uma ciência apaixonante e viva, fruto de história de evolução e transformação. Essa mesma história é refletida neste livro, onde o autor pretende construir uma introdução aos desenvolvimentos e ao conteúdo dessa ciência. 5x6m2r
Table of Contents 685p25
| Front Matter / Elementos Pré-textuais / Páginas Iniciales | ||
| Capítulo 1 - Introdução | ||
| Capítulo 2 - Lógica e argumentos | ||
| Capítulo 3 - Preliminares | ||
| Capítulo 4 - Conjuntos | ||
| Capítulo 5 - Introdução ao CQC | ||
| Capítulo 6 - A sintaxe do cálculo de predicados (I) | ||
| Capítulo 7 - A sintaxe do cálculo de predicados (II) | ||
| Capítulo 8 - Interpretações | ||
| Capítulo 9 - Valorações | ||
| Capítulo 10 - Estruturas e verdade | ||
| Capítulo 11 - Validade e consequência lógica | ||
| Capítulo 12 - Tablôs semânticos | ||
| Capítulo 13 - Sistemas axiomáticos e sistemas formais | ||
| Capítulo 14 - Dedução natural (I) | ||
| Capítulo 15 - Dedução natural (II) | ||
| Capítulo 16 - Identidade e símbolos funcionais | ||
| Capítulo 17 - Teorias formalizadas | ||
| Capítulo 18 - Lógicas não clássicas | ||
| Bibliografia |
SciELO - Scientific Electronic Library Online | CAPES - CNPq - FAPESP - BIREME - FapUnifesp
Rua Dr. Diogo de Faria, 1087 – 9º andar – Vila Clementino 04037-003 São Paulo/SP - Brasil
Email: [email protected]
