NH1110
Introdução à Lógica

Ementa

Contextualização histórica: Enumeração dos principais aspectos do desenvolvimento da Lógica de Aristóteles aos dias atuais. George Boole e a sistematização da Lógica. Escopo da Lógica Contemporânea: Cálculo Sentencial, Cálculo de Ordem Superior, Teoria de Conjuntos, Teoria dos Modelos, Teoria da Recursão, Teoria da Prova. Classificação: lógicas ortodoxas e lógicas heterodoxas. A Lógica Fuzzy e suas aplicações. Conceituação: Raciocínio dedutivo e raciocínio indutivo. Os princípios básicos da Lógica Clássica: Lei da Não-contradição, Lei da Identidade e Lei do Terceiro Excluído. As noções de verdade e falsidade. Cálculo: Tabelas de verdade e as noções de tautologia, contradição e contingência. O Cálculo Sentencial Clássico. Regras de formação e de transformação. Argumentos Válidos e Argumentos Inválidos. Prova indireta. A regra de Redução ao Absurdo. A regra de Reiteração. As leis de De Morgan. Formulação de hipóteses no raciocínio dedutivo. Teorema da Dedução. O Cálculo de Primeira Ordem sem e com igualdade. Lógica Booleana e desenho de circuitos.

Bibliografia Básica

MORTARI, Cezar. Introdução à Lógica
a

P“‘|

Bibliografia Complementar

SUPPES, Patrick C. Introduction to LogicGENSLER, H. Introduction to LogicCOPI, Irving; COHEN, Carl. Introduction to LogicCHURCH, A. Introduction to Mathematical Logic
|ÿÿÿÿ|ð–|”³”|

Tipo