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?