Difference between revisions of "Correção e completude para a Lógica de Primeira Ordem Clássica"
Jump to navigation
Jump to search
(criando verbete) |
(vídeo adicionado) Tag: 2017 source edit |
||
(3 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | + | {{#ev:youtube|zRZmfBlAiv0}} | |
== Para reflexão == | == Para reflexão == | ||
Line 7: | Line 7: | ||
== Veja também == | == Veja também == | ||
− | * | + | * [[Introdução Computacional à Lógica Matemática]] |
== Links externos == | == 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]] |