다음 중 톱다운(top-down) 접근방법으로 일반적 원리로부터 논리의 절차를 밟아서 각각의 사실이나 명제를 이끌어내는 연역적 평가기법은?