(와! PDF가 올라가는군요 ㅎㅎ)
지난 번에 올렸던 Metalogic for Propositional Logic을 바탕으로 올빼미회원분들과 하는 스터디에서 간략히 발표한 슬라이드를 올려드립니다.
달라진 점은, 기존 자료에서는 공리적 증명법을 소개하고 건전성/완전성 증명은 소개하지 않았었는데 이번에는 Copi의 자연연역 증명체계와 함께 완전성 정리도 소개하고 있습니다.
슬라이드에서 소개된 완전성 증명은 John Winnie, (1970) "The Completeness of Copi's System of Natural Deduction"의 증명을 소개하였습니다.
4.19 Slides.pdf (147.9 KB)