Part 2. 형식 논리학: 명제 논리 Part 2. 형식 논리학: 명제 논리 Chapter 8. 명제 논리의 언어와 기호 체계 Chapter 9. 논리 연산자와 진리표 Chapter 10. 동치 관계와 논리 법칙 Chapter 11. 자연 연역 체계 Chapter 12. 귀류법과 간접 증명 Chapter 13. 명제 논리의 완전성과 건전성