Após a revisão da sintaxe e semântica da lógica de primeira ordem, veremos provas do teorema da dedução e da consistência.
Usaremos um sistema axiomático ligeiramente diferente do utilizado pelo Hunter, retirado de Robbin (Mathematical Logic, New York: Dover).
A prova do teorema da dedução está no link
Uma primeira versão da apostila com a prova da consistência está no link
Abraços
Nenhum comentário:
Postar um comentário