Introdução Computacional à Lógica Matemática

• Relação de consequência

• Lógica proposicional
• Lógica de primeira ordem
• Lógica de ordem superior [AGUARDE!]

• Sintaxe (lógica)
• Formalismos dedutivos
• Modelos (lógica)

Links externos

• Visualização da estrutura da wiki
• Lógica Aplicada à Computação: material de estudos, livro didático, exercícios e exames-tipo