二、必要条件假言三段论推理
必要条件假言三段论推理是一个前提为必要条件假言判断，另一个前提为其它类型的判断，并且根据必要条件假言判断联结项的性质推出结论的假言三段论推理。
必要条件假言判断前件和后件的关系可简单记为：有后件必有前件，无前件必无后件；反之则不定。因而，必要条件假言三段论推理有两条规则：
第一，肯定后件就要肯定前件，否定前件就要否定后件。
第二，肯定前件不能肯定后件；否定后件不能否定前件。
必要条件假言三段论推理有两种有效形式：
１。肯定后件式。即在前提中，非假言前提肯定必要条件假言前提的后件，而结论肯定它的前件。
其逻辑形式是：只有ｐ，才ｑ，ｑ；所以，ｐ。
例如：
只有行为具有社会危害性，才能是犯罪行为，甲某的行为是犯罪行为，所以，甲某的行为具有社会危害性。
２。否定前件式。即在前提中，非假言前提否定必要条件假言前提的前件，而结论否定它的后件。
其逻辑形式是：只有ｐ，才ｑ，非ｐ；所以，非ｑ。
或借用数理逻辑的符号形式表示为：
例如：
只有行为具有社会危害性，才能是犯罪行为，
甲某的行为不具有社会危害性，
所以，甲某的行为不是犯罪行为。
（三）充分必要条件假言判断及其真值充分必要条件
假言判断是断定一个思维对象情况是另一个思维对象情况的充分必要条件的假言判断。
什么是充分必要条件？如果有思维对象情况ｐ，就必然有思维对象情况ｑ；同时，如果没有思维对象情况ｐ，就必然没有思维对象情况ｑ。这样，ｐ就是ｑ的充分必要条件。
反映对象情况之间这种充分必要条件联系的判断就是充分必要条件假言判断。充分必要条件假言判断判断前件和后件之间的关系可简单记为：前、后件必须同在或同不在。
充分必要条件假言判断的逻辑形式是：当且仅当ｐ，则ｑ。
其中，”ｐ“和”ｑ“分别表示充分必要条件假言判断的前件和后件，是变项；”当且仅当……则……“表示充分必要条件假言判断的逻辑联结项，是逻辑常项。
例如：
过失犯罪，法律有规定的就负刑事责任。
其中，法律是否有规定就是过失犯罪是否负刑事责任的充分必要条件。
分开具体讲，
即：当且仅当法律有规定时，则过失犯罪要负刑事责任。