（1）非区别的假言三段论。[2]它是以非区别的假言判断为大前提的。非区别的假言三段论可能式约为如下四式：
“如果A是B，则C是D；A是B；所以C是D。”例子：“如果学生用功，则他的功课好；学生用功；所以他的功课好。”
“如果A不是B，则C不是D；A不是B；所以C不是D。”例子：“如果学生不用功，则他的功课不会好；学生不用功；所以他的功课不会好。”
“如果A是B，则C不是D；A是B；所以C不是D。”例子：“如果下雨，则我们就不去了；下雨；所以我们不去了。”
“如果A不是B，则C是D；A不是B；所以C是D。”例子：“如果没有天灾，则今年收成还要更好；没有天灾；所以今年收成还要更好。”
非区别的假言三段论大前提前后件间关系的性质，决定它只能有两种正确的推理方式：肯定式和否定式。
A．肯定式。前面举出的例子都是肯定式的，它的推理的过程是，小前提肯定大前提的前件，从而结论肯定大前提的后件。公式是：
B．否定式。否定式的推理的过程是：小前提否定大前提的后件，从而结论否定大前提的前件。例如：
否定式的公式是：
从上说，我们可以看到非区别的假言三段论的一条规则，即肯定前件可以肯定后件；否定后件可以否定前件。
还有另一条规则，即否定前件，不能否定后件；肯定后件，不能肯定前件。
运用非区别的假言推理时，必须遵守上面这两条规则才能得到必然的可靠的结论。
（2）区别的假言三段论，它以区别的假言判断为大前提。
根据区别的假言判断大前提前后件间关系的性质，区别的假言三段论有四种正确的推理方式，即肯定前件式、否定前件式、肯定后件式、否定后件式。
A．肯定前件式。推理过程是由肯定前件到肯定后件。例如：
公式是：
B．否定前件式。推理过程是由否定前件到否定后件。例如：
公式是：
C．肯定后件式。推理过程是由肯定后件到肯定前件。例如：
公式是：
D．否定后件式。推理过程是由否定后件到否定前件。例如：
公式是：
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
