Apresentação da Contracapa:
A teoria dos operadores que formam termos ligando variáveis de fórmulas tem sido muito desenvolvida e encontrado aplicações diversas. O caráter não trivial das técnicas para se estudar o símbolo de Hilbert torna patente o significado profundo das noções da lógica hodierna. Achamos então que uma introdução à lógica fundada no símbolo de Hilbert associado à lógica elementar afigura-se conveniente.
Author(s): Rejane Carrion, Newton Carneiro Affonso da Costa
Edition: 1ª Edição
Publisher: Editora da Universidade (Universidade Federal do Rio Grande do Sul)
Year: 1988
Language: Portuguese
Pages: 69
Introdução à Lógica Elementar com o símbolo de Hilbert, de Rejane Carrion e Newton C. A. da Costa......Page
Capa......Page Introdução à Lógica Elementar com o símbolo de Hilbert . Rejane Carrion . Newton C. A. da Costa.djvu
Página de Título......Page scandjvutmp50d_0001.djvu
Copyright......Page scandjvutmp50e_0001.djvu
Sumário......Page scandjvutmp50f_0001.djvu
Prefácio......Page scandjvutmp510_0001.djvu
Introdução......Page scandjvutmp511_0001.djvu
1. As lógicas não-clássicas......Page 8
2. Aspectos da Lógica Clássica......Page scandjvutmp519_0001.djvu
Sintaxe Lógica......Page scandjvutmp51b_0001.djvu
Teoria dos Modelos......Page 18
Teoria da Recursão......Page scandjvutmp51c_0001.djvu
Lógica Algébrica......Page 19
Aplicações da Lógica à Matemática......Page scandjvutmp51d_0001.djvu
3. A Lógica Elementar Clássica......Page 20
Capítulo 1 – A Linguagem da Lógica Elementar Clássica......Page scandjvutmp51f_0001.djvu
1.1. Gramática de L......Page 22
1.2. A Estrutura Dedutiva de L......Page scandjvutmp526_0001.djvu
Capítulo 2 – A Semântica de L......Page scandjvutmp53f_0001.djvu
2.1. A Semântica da Lógica Elementar......Page scandjvutmp540_0001.djvu
2.2. A Completude da Lógica Elementar......Page scandjvutmp544_0001.djvu
2.3. As Teorias Elementares......Page scandjvutmp54a_0001.djvu
Leituras Complementares......Page scandjvutmp54c_0001.djvu
