Lógica Proposicional
Metateorema da dedução
Consistência
Corretude
Completude
Compacidade
Graig's interpolation lemma for propositional calculus
Lógica de primeira ordem
Consistência
Corretude
Completude
Indecidibilidade
Compacidade
Alternativas à lógica clássica: intuicionismo e paraconsistência
-
Foi na primeira metade do século XX que a lógica clássica se estabeleceu
como o tratamento padrão da consequência lógica. Mas foi também no século
XX que ...
Há 7 anos
