Apresentacao Curso Logica Aristoteles Boole Frege Tableaux Resolucoes e Mais

Apresentação do curso Preliminares conceituais A Lógica de Aristóteles Lógica Aristotélica diagrama de Venn quadrado de oposições A Abordagem Algébrica de Boole A Lógica Simbólica de Frege Sintaxe da Lógica proposicional alfabeto cadeias etc Conjuntos indutivamente definidos Fecho Indutivo Conjunto livremente gerado Definição por Recursão sobre Conjuntos Indutivos Provas por Indução sobre Conjuntos Indutivos Semântica da lógica proposicional Teorema da Extensão Homomórfica Única ValoraçãoVerdade TabelaVerdade Satisfatibilidade e consequência lógica Busca de Valoração Método dos Tableaux Método dos Tableaux Método da Resolução Dedução Natural Dedução Natural noção de prova normal Cálculo de Sequentes Lógica de Primeira Ordem Estruturas Funções entre Estruturas Homomorfismos Imersões A Noção de Subestrutura Termos e Fórmulas Atômicas Linguagem vs Estruturas Diagramas e Modelos Canônicos Lógica de Primeira Ordem Sintaxe e Semântica Forma Prenex Forma Normal de Skolem O teorema de LowenheimSkolem Algoritmo da Unificação Resolução para Primeira Ordem Teorema de Herbrand Completude da Lógica de Predicados Incompletude da Aritmética Formal