Difference between revisions of "Correção e completude para a Lógica Proposicional Clássica"

From Logic Wiki
Jump to navigation Jump to search
m (vídeo adicionado)
Tag: 2017 source edit
Tag: 2017 source edit
 
Line 10: Line 10:
 
* [[Dedução Natural para a Lógica Proposicional Clássica]]
 
* [[Dedução Natural para a Lógica Proposicional Clássica]]
 
* [[Semântica formal para a Lógica Proposicional Clássica]]
 
* [[Semântica formal para a Lógica Proposicional Clássica]]
 +
* [[Introdução Computacional à Lógica Matemática]]
  
 
== Links externos ==
 
== Links externos ==
  
 
*
 
*

Latest revision as of 13:22, 6 October 2020

Para reflexão

  • Como você poderia usar o meta-teorema de completude para demonstrar a finitariedade (compacidade) da relação de acarretamento associada à semântica da Lógica Proposicional Clássica?

Veja também

Links externos