가언 추리

가언^추리001
전제 가운데에 일부가 가언 명제로 이루어진 추론.

가언적^추리001
전제 가운데에 일부가 가언 명제로 이루어진 추론.