20.7 전제 조건(Precondition)의 논리적 구조와 만족 조건