Introdução à Lógica

Tópicos:

• TdC: Teoria dos Conjuntos (revisão)

• R&I: Recursão & Indução (revisão)

• DN-LCP: Dedução Natural para a Lógica Clássica Proposicional (LCP)

• Sem-LCP: Semântica Proposicional Clássica

• Trad-LCP: Representação do Conhecimento e Argumentação em LCP

• Sem-LCPO: Sintaxe e Semântica da Lógica Clássica de Primeira Ordem (LCPO)

• DN-LCPO: Dedução Natural de Primeira Ordem Clássica

• MetRes-Prolog: Método da Resolução + Prolog

• Videopédia (wiki): Introdução Computacional à Lógica Matemática

Alguns símbolos que você pode precisar produzir em HTML: (confira tb esta página)

∈ ∋ ∉ ⊂ ⊆ ⊊ ⊃ ⊇ ⊋ ∅ ∪ ∩ ℘ ¬ ∧ ∨ ⊕ → ← ↔ ⊤ ⊥ ∀ ∃ ⇒ ⇐ ⇔ ≡ ≢ ≈ ⊢ ⊬ ⊨ ⊭ ⊩ ⊮ ≥ ≤ ≠ ↦ ⋆ ℵ ∞

α (alfa) β (beta) γ (gama) δ (delta) ε (épsilon) ζ (zeta) η (eta) θ (teta) ι (iota) κ (capa) λ (lambda) μ (mi) ν (ni) ξ (csi) ο (ômicron) π (pi) ρ (rô) σ (sigma) τ (tau) υ (úpsilon) φ (fi) χ (qui) ψ (psi) ω (omega) Γ (Gama) Δ (Delta) Π (Pi) Σ (Sigma) ◠☺◡