논리학 에서 는 증명 과정 을 모순율 또는 동일 률 이 라고 표현 하 는데 , 모든 증명 과정 에서 확인 되 는 직접 적 인식 외 에 는 아무것 도 요구 되 지 않 는다는 특징 이 있 다 . 즉 이 와 같 은 증명 과정 을 통해 일반인 도 직접 적 인 판단 이 가능 한 단순 진리 로 귀결 되 는 것 이 다 . 이때 보편 적 인 전제 조건 에서 특수 한 명제 를 도출 하 는 것 을 연역 演繹 이 라 부르 고 , 이 와 반대 로 특수 한 명제 에서 보편 적 인 전제 조건 이 도출 되 면 귀납 歸納 이 라고 부른다 .