525
edits
Changes
Correção e completude para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 02:14, 16 October 2020
, 02:14, 16 October 2020vídeo adicionado
== Para reflexão ==
== Veja também ==
* [[Introdução Computacional à Lógica Matemática]]
== Links externos ==
*[[Dedução Natural para a Lógica de Primeira Ordem Clássica]]* [[Semântica formal para a Lógica de Primeira Ordem Clássica]]