525
edits
Changes
Correção e completude para a Lógica Proposicional Clássica (view source)
Revision as of 13:22, 6 October 2020
, 13:22, 6 October 2020no edit summary
== 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 ==
* [[Correção e completude]]
* [[Dedução Natural 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 ==
*