Correção e completude para a Lógica Proposicional Clássica

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