본문바로가기
도출^연역법 편집하기 편집 금지 요청
분야
『수학』
「001」수리 논리학의 하나로, 어떤 정리에 대하여 부정을 한 다음 추론을 통해 정리를 증명하는 방식.

대역어

영어
resolution deduction
위로