* [[Relação de consequência]] * [[Lógica proposicional]]* [[Lógica de primeira ordem]] * [[Sintaxe (lógica)]]* [[Formalismos dedutivos]]* [[Modelos (lógica)]] == Para reflexão == * == Veja também == * == Links externos == * [https://vitorgreati.me/experiments/logicwiki.html Visualização da estrutura da wiki]* [https://sites.google.com/site/sequiturquodlibet/courses/laac Lógica Aplicada à Computação]: material de Primeira Ordem]]estudos, livro didático, exercícios e exames-tipo