Lógica matemática

Abstract

Unidade 1 – Lógica clássica e proposicional Introdução 1.1 Proposições 1.2 Operações lógicas sobre proposições 1.2.1 Negação 1.2.2 Conjunção 1.2.3 Disjunção 1.2.4 Disjunção exclusiva 1.2.5 Condicional 1.2.6 Bicondicional Unidade 2 – Tabela verdade Introdução 2.1 Conceitos básicos 2.2 Implicações e equivalências 2.3 Tautologias Unidade 3 – Método dedutivo Introdução 3.1 Definições 3.1.1 Exemplificando 3.1.2 Forma normal conjuntiva 3.1.3 Forma normal disjuntiva Unidade 4 – Lógica de predicados Introdução 4.1 Lógica proposicional versus Lógica de primeira ordem 4.2 Sintaxe 4.2.1 Definições 4.2 Semântica Unidade 5 – Lógicas não clássicas Introdução 5.1 Lógica Fuzzy 5.2 Lógica Modal 5.3 Lógica Paraconsistente Unidade 6 – Lógica temporal Introdução 6.1 Elementos básicos 6.2 Semântica de Kripke 6.3 Conceitos básicos da lógica temporal 6.4 Aplicações em lógica temporal