Chapter 7. 논리적 귀결과 함의