10.5 추론 규칙의 건전성과 완전성 조건