20.4 1차 술어 논리(First-Order Predicate Logic) 기반 상태 기술