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]] | ||
