Introdução à Lógica

Capa......Page scandjvutmp4f2_0001.djvu
Contracapa......Page scandjvutmp4f3_0001.djvu
Aba da Capa......Page scandjvutmp4f4_0001.djvu
Aba da Contracapa......Page scandjvutmp4f6_0001.djvu
Título......Page scandjvutmp4f9_0001.djvu
Dados da Publicação......Page scandjvutmp4fa_0001.djvu
Agradecimentos......Page scandjvutmp4fd_0001.djvu
Conteúdo......Page scandjvutmp4ff_0001.djvu
1 – Introdução......Page scandjvutmp68f_0001.djvu
1.1 O que é lógica?......Page 19
1.2 Raciocínio e inferência......Page scandjvutmp505_0001.djvu
1.3 Argumentos......Page scandjvutmp509_0001.djvu
1.4 Sentenças, proposições, enunciados......Page scandjvutmp50d_0001.djvu
2 – Lógica e Argumentos......Page scandjvutmp513_0001.djvu
2.1 Validade e forma......Page 34
2.2 Validade e correção......Page scandjvutmp518_0001.djvu
2.3 Dedução e indução......Page scandjvutmp51a_0001.djvu
2.4 A lógica e o processo de inferência......Page scandjvutmp51c_0001.djvu
2.5 Um pouco de história......Page scandjvutmp51e_0001.djvu
3 – Preliminares......Page scandjvutmp522_0001.djvu
3.1 Linguagens......Page 49
3.2 Linguagens artificiais......Page scandjvutmp524_0001.djvu
3.3 Uso e menção......Page scandjvutmp525_0001.djvu
3.3.1 Nomes de expressões......Page scandjvutmp526_0001.djvu
3.3.2 Uma simplificação......Page scandjvutmp529_0001.djvu
3.4 Linguagem-objeto e metalinguagem......Page scandjvutmp52a_0001.djvu
3.5 O uso de variáveis......Page scandjvutmp52b_0001.djvu
4 – Conjuntos......Page scandjvutmp52d_0001.djvu
4.1 Caracterização de conjuntos......Page 60
4.2 Conjuntos especiais......Page scandjvutmp52f_0001.djvu
4.3 Relações entre conjuntos......Page scandjvutmp531_0001.djvu
4.4 Operações sobre conjuntos......Page scandjvutmp533_0001.djvu
4.5 Propriedades e relações......Page scandjvutmp536_0001.djvu
4.6 Funções......Page scandjvutmp538_0001.djvu
4. 7 Conjuntos infinitos......Page scandjvutmp53a_0001.djvu
5 – Introdução ao CQC......Page scandjvutmp540_0001.djvu
5.1 Lógicas......Page 79
5.2 Introduzindo o CQC......Page scandjvutmp542_0001.djvu
5.3 Algumas características da lógica clássica......Page scandjvutmp546_0001.djvu
6 – A Sintaxe do Cálculo de Predicados (I)......Page scandjvutmp548_0001.djvu
6.1 Símbolos individuais......Page 87
6.2 Constantes de predicado e fórmulas atômicas......Page scandjvutmp54c_0001.djvu
6.3 Operadores e fórmulas moleculares......Page scandjvutmp554_0001.djvu
6.4 Sinais de pontuação......Page scandjvutmp55a_0001.djvu
6.5 Quantificadores e fórmulas gerais......Page scandjvutmp55e_0001.djvu
7 – A Sintaxe do Cálculo de Predicados (II)......Page scandjvutmp565_0001.djvu
7.1 Linguagens de primeira ordem......Page 116
7.2 Proposições categóricas......Page scandjvutmp56d_0001.djvu
7.3 Quantificação múltipla......Page scandjvutmp575_0001.djvu
8 – Interpretações......Page scandjvutmp57b_0001.djvu
8.1 Significado e verdade......Page 138
8.2 Idéias básicas......Page scandjvutmp57f_0001.djvu
9 – Valorações......Page scandjvutmp584_0001.djvu
9.1 Lógica proposicional......Page 147
9.2 Funções de verdade......Page scandjvutmp586_0001.djvu
9.2.1 Negação......Page scandjvutmp587_0001.djvu
9.2.2 Conjunção......Page scandjvutmp588_0001.djvu
9.2.3 Disjunção......Page scandjvutmp589_0001.djvu
9.2.4 Implicação material......Page scandjvutmp58b_0001.djvu
9.2.5 Bi-implicação......Page scandjvutmp58c_0001.djvu
9.3 Valorações......Page scandjvutmp58d_0001.djvu
9.4 Tabelas de verdade......Page scandjvutmp590_0001.djvu
9.5 Tautologias, contradições e contingências......Page scandjvutmp593_0001.djvu
9.6 Implicação e equivalência tautológicas......Page scandjvutmp596_0001.djvu
9.7 Outros comentários sobre as valorações......Page scandjvutmp59b_0001.djvu
10 – Estruturas e Verdade......Page scandjvutmp59e_0001.djvu
10.1 O valor semântico das expressões......Page 173
10.2 Estruturas......Page scandjvutmp5a0_0001.djvu
10.3 Verdade......Page scandjvutmp5a7_0001.djvu
10.3.1 Fórmulas atômicas......Page scandjvutmp5a8_0001.djvu
10.3.2 Fórmulas moleculares......Page scandjvutmp5aa_0001.djvu
10.3.3 Fórmulas gerais......Page scandjvutmp5ab_0001.djvu
10.4 Definição de verdade......Page scandjvutmp5af_0001.djvu
11 – Validade e Consequência Lógica......Page scandjvutmp5b8_0001.djvu
11.1 Validade......Page 199
11.2 Consequência lógica (semântica)......Page scandjvutmp5bc_0001.djvu
11.3 Algumas propriedades de |=......Page scandjvutmp5bf_0001.djvu
11.4 A validade de argumentos......Page scandjvutmp5c2_0001.djvu
12 – Tablôs Semânticos......Page scandjvutmp5c5_0001.djvu
12.1 Procedimentos de prova......Page 212
12.2 Exemplos de tablôs......Page scandjvutmp5c9_0001.djvu
12.3 Regras para fórmulas moleculares......Page scandjvutmp5ce_0001.djvu
12.4 Conseqüência lógica......Page scandjvutmp5d3_0001.djvu
12.5 Quantificadores......Page scandjvutmp5d5_0001.djvu
12.6 Invalidade......Page scandjvutmp5de_0001.djvu
12.7 Indecidibilidade do CQC......Page scandjvutmp5e1_0001.djvu
13 – Sistemas Axiomáticos e Sistemas Formais......Page scandjvutmp5e6_0001.djvu
13.1 Os matemáticos e a verdade......Page 244
13.2 Geometria......Page scandjvutmp5e8_0001.djvu
13.3 Sistemas formais......Page scandjvutmp5eb_0001.djvu
13.4 Os doublets de Lewis Carroll......Page scandjvutmp5ed_0001.djvu
14 – Dedução Natural (I)......Page scandjvutmp5ef_0001.djvu
14.1 Apresentando a dedução natural......Page 253
14.2 Regras de inferência diretas......Page scandjvutmp5f4_0001.djvu
14.3 Fazendo uma dedução......Page scandjvutmp5f8_0001.djvu
14.4 Regras de inferência hipotéticas......Page scandjvutmp5fe_0001.djvu
14.5 Estratégias de Derivação......Page scandjvutmp605_0001.djvu
15 – Dedução Natural (II)......Page scandjvutmp60b_0001.djvu
15.1 Regras derivadas......Page 281
15.2 Regras para quantificadores......Page scandjvutmp60f_0001.djvu
15.2.1 O quantificador universal......Page scandjvutmp610_0001.djvu
15.2.2 O quantificador existencial......Page scandjvutmp616_0001.djvu
15.3 Uma regra derivada para quantificadores......Page scandjvutmp61c_0001.djvu
15.4 Teoremas......Page scandjvutmp61d_0001.djvu
15.5 Consequência sintática e conseqüência semântica......Page scandjvutmp61f_0001.djvu
16 – Identidade e Símbolos Funcionais......Page scandjvutmp624_0001.djvu
16.1 Nota sobre parênteses......Page 306
16.2 Identidade......Page scandjvutmp625_0001.djvu
16.2.1 Um novo símbolo lógico......Page 307
16.2.2 Outros usos para a identidade......Page scandjvutmp62a_0001.djvu
16.3 Símbolos funcionais......Page scandjvutmp631_0001.djvu
16.3.1 Alguns exemplos......Page 319
16.3.2 Redefinindo os termos......Page scandjvutmp635_0001.djvu
16.4 Consequência lógica no CQC=f......Page scandjvutmp639_0001.djvu
16.5 Tablôs semânticos para o CQC=f......Page scandjvutmp63b_0001.djvu
16.5.1 Regras para identidade......Page scandjvutmp63c_0001.djvu
16.5.2 Alterações nas regras de quantificadores......Page scandjvutmp63d_0001.djvu
16.6 Dedução natural no CQC=f......Page scandjvutmp640_0001.djvu
16.6.1 Regras para identidade......Page 334
16.6.2 Alterações em EA e IE......Page scandjvutmp642_0001.djvu
17 – Teorias Formalizadas......Page scandjvutmp646_0001.djvu
17.1 Conceitualizações......Page 340
17.2 Uma teoria sobre blocos......Page scandjvutmp64b_0001.djvu
17.3 Aritmética formalizada......Page scandjvutmp654_0001.djvu
17.3.1 A teoria N......Page 354
17.3.2 lndução matemática......Page scandjvutmp658_0001.djvu
17.3.3 Propriedades de N......Page scandjvutmp65e_0001.djvu
18 – Lógicas Não-Clássicas......Page scandjvutmp661_0001.djvu
18.1 O que é a lógica clássica?......Page 367
18.2 Lógicas não-clássicas......Page scandjvutmp666_0001.djvu
18.3 Lógica modal alética......Page scandjvutmp669_0001.djvu
18.3.1 Introdução......Page 375
18.3.2 Modelos de mundos possíveis......Page scandjvutmp66c_0001.djvu
18.3.3 O sistema S5......Page scandjvutmp66f_0001.djvu
18.3.4 Outros sistemas aléticos......Page scandjvutmp675_0001.djvu
18.4 Outras lógicas modais......Page scandjvutmp676_0001.djvu
18.5 Lógicas alternativas......Page scandjvutmp679_0001.djvu
18.5.1 Lógicas polivalentes......Page 391
18.5.2 Lógica intuicionista......Page scandjvutmp67d_0001.djvu
18.5.3 Lógicas relevantes......Page scandjvutmp682_0001.djvu
18.6 A história mais recente......Page scandjvutmp685_0001.djvu
18.6.1 Eficiência......Page scandjvutmp687_0001.djvu
18.6.2 Informação parcial e incerteza......Page scandjvutmp688_0001.djvu
Bibliografia......Page scandjvutmp68b_0001.djvu
A-B-C-D-E-F......Page 409
G-H-J-K-L-M-N-P-Q......Page scandjvutmp68c_0001.djvu
R-S-T......Page scandjvutmp68d_0001.djvu