Correção e completude para a Lógica Proposicional Clássica
[VIDEO]
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?