가언 추론

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

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