가언적^삼단^논법001
가언적 판단을 전제로 하는 삼단 논법. ‘A가 B라면 C는 D다. A는 B다. 고로 C는 D다.’라는 식의 논법이다.
반가언적^삼단^논법001
대전제는 가언적 판단이고, 소전제와 결론이 정언적 판단인 형식의 삼단 논법.
전가언적^삼단^논법001
대전제와 소전제가 모두 가정으로 되어 있는 삼단 논법.
정언적^가언^삼단^논법001
대전제는 가언적 판단이고, 소전제와 결론이 정언적 판단인 형식의 삼단 논법.
혼합^가언적^삼단^논법001
대전제는 가언적 판단이고, 소전제와 결론이 정언적 판단인 형식의 삼단 논법.