전건 긍정
'P이면 Q이다'라는 규칙과 'P'라는 사실이 주어졌을 때 'Q'를 결론으로 도출하는 추론 규칙이다. 1차 논리에서는 통합 기법과 결합하여 변수가 포함된 일반 규칙에서도 추론이 가능하도록 확장된다.