19.6 명제 논리 기반 상태 표현과 닫힌 세계 가정(Closed-World Assumption)