Árvore resumida do conhecimento: Lógica

LÓGICA
│
├── 1. FUNDAMENTOS DO RACIOCÍNIO
│   ├── 1.1 Lógica Natural (Raciocínio do senso comum)
│   ├── 1.2 Lógica Dedutiva vs Indutiva
│   │   ├── Dedutiva: premissas gerais -> conclusões particulares
│   │   └── Indutiva: casos particulares -> leis gerais
│   ├── 1.3 Estrutura do Argumento (premissa, conclusão, validade)
│   └── 1.4 Falácias e erros de raciocínio
│
├── 2. LÓGICA MATEMÁTICA
│   ├── 2.1 Proposições e conectivos lógicos
│   │   ├── E (∧), OU (∨), NÃO (¬)
|   |   |── SE... ENTÃO (→), SE E SOMENTE SE (↔)
│   │   └── Tabelas-verdade e equivalências lógicas
│   ├── 2.2 Lógica Proposicional
│   │   ├── Sintaxe: fórmulas bem formadas
│   │   └── Semântica: verdade e falsidade
│   ├── 2.3 Lógica de Predicados (Primeira Ordem)
│   │   ├── Quantificadores ∀ (para todo), ∃ (existe)
│   │   └── Modelagem de proposições compostas
│   └── 2.4 Provas Matemáticas
│       ├── Prova direta, contraposição, contradição, indução
│       └── Demonstrações formais
|
├── 3. LÓGICA FORMAL
│   ├── 3.1 Sintaxe formal (regras de formação)
│   ├── 3.2 Semântica formal (modelos e interpretações)
│   ├── 3.3 Sistemas de prova e dedução natural
│   └── 3.4 Teoremas fundamentais (som e completude)
│
├── 4. LÓGICA BOOLEANA (Base da Computação)
│   ├── 4.1 Álgebra de Boole
│   │   ├── Operações: AND, OR, NOT, XOR
│   │   ├── Leis e simplificações (De Morgan, distributiva, etc.)
│   │   └── Funções booleanas e circuitos lógicos
│   ├── 4.2 Tabelas verdade e minimização (Karnaugh etc.)
│   ├── 4.3 Portas Lógicas e Circuitos Digitais
│   └── 4.4 Implementação em Hardware e Software
│
├── 5. LÓGICAS NÃO-CLÁSSICAS (extensões formais)
│   ├── 5.1 Lógica Modal
│   │   ├── Conceitos de necessidade (□) e possibilidade (◇)
│   │   └── Aplicações: verificação de programas, IA, agentes inteligentes
│   ├── 5.2 Lógica Temporal
│   │   ├── Modelagem de eventos ao longo do tempo
│   │   └── Aplicações: verificação de sistemas concorrentes
│   ├── 5.3 Lógica Difusa (Fuzzy Logic)
│   │   ├── Verdade parcial [0,1]
│   │   └── Aplicações: controle inteligente, IA, sistemas adaptativos
│   └── 5.4 Lógica Paraconsistente
│       └── Tolerância a contradições em sistemas de decisão
│
└── 6. APLICAÇÕES COMPUTACIONAIS
    ├── 6.1 Lógica na Programação
    │     ├── Estruturas condicionais e controle de fluxo
    │     ├── Programação Lógica (Prolog)
    │     ├── Inferência e Backtracking
    │     └── Lógica em linguagens funcionais (Haskell, etc.)
    ├── 6.2 Lógica em Inteligência Artificial
    │     ├── Representação do conhecimento
    │     ├── Raciocínio automático e sistemas especialistas
    │     └── Lógica descritiva (ontologias, Web Semântica)
    ├── 6.3 Lógica em Computação Teórica
    │     ├── Máquinas de Turing e decidibilidade
    │     ├── Prova de correção de algoritmos
    │     └── Lógica na verificação de modelos
    └── 6.4 Lógica em Segurança e Criptografia
          ├── Provas formais e protocolos
          └── Lógicas epistêmicas (conhecimento dos agentes)