필요조건
어떤 결론이 성립하기 위해 반드시 충족되어야 하는 전제이다. 입력 A가 출력 B로 이어지는 전통적인 추론 과정에서 A가 B의 필요조건이면 B가 참일 때 A가 반드시 참이라는 보장은 없지만 B의 발생에 기여하는 필수 요소로 작용한다. 이 연구에서는 전향 추론의 논리적 기반을 규정하는 개념으로 사용되며 역방향 검증과 대비되는 개념적 축을 이룬다.
