当且仅当法律没有规定时，则过失犯罪不负刑事责任。
充分必要条件假言判断的真假，取决于其前、后件的真假和前、后件之间是否具有充分必要条件的联系。一个充分必要条件假言判断，当且仅当前件真后件真、或前件假后件假，并且前件是后件的充分必要条件，该充分必要条件假言判断才是真的。当且仅当前件真而后件假或前件假而后件真时，则该充分必要条件假言判断是假的。
可简单记为：前件与后件必须同真或同假时，充分必要条件假言判断才真。
充分必要条件假言判断的真假与其前、后件的真假之间的关系也可以用真值表表示。参见教材第１３４页。
三、充分必要条件假言三段论推理
充分必要条件假言三段论推理是一个前提为充分必要假言判断，另一个前提为其它类型的判断，并且根据充分必要条件假言判断联结项的性质推出结论的假言三段论推理。
充分必要条件假言判断判断前件和后件之间的关系为：前、后件必须同在或同不在。
因而，充分必要条件假言三段论推理有两条规则：
第一，肯定前件就要肯定后件；肯定后件就要肯定前件。
第二，否定前件就要否定后件；否定后件就要否定前件。
充分必要条件假言三段论推理有四种有效形式：
１。肯定前件式。即在前提中，非假言前提肯定充分必要条件假言前提的前件，而结论肯定它的后件。
其逻辑形式是：当且仅当ｐ，则ｑ；ｐ，所以，ｑ。
例如：当且仅当法律有规定时，则过失犯罪要负刑事责任。
甲某的过失犯罪行为，法律有规定，所以，甲某的过失犯罪行为，要负刑事责任。
２。肯定后件式。即在前提中，非假言前提肯定充分必要条件假言前提的后件，而结论肯定它的前件。
其逻辑形式是：当且仅当ｐ，则ｑ；ｑ，所以，ｐ。
例如：当且仅当法律有规定时，则过失犯罪要负刑事责任。甲某的过失犯罪行为要负刑事责任。所以，甲某的过失犯罪行为，法律有规定。
３。否定前件式。即在前提中，非假言前提否定充分必要条件假言前提的前件，而结论否定它的后件。
其逻辑形式是：当且仅当ｐ，则ｑ；非ｐ，所以，非ｑ或借用数理逻辑的符号形式表示为：
例如：
当且仅当法律有规定时，则过失犯罪要负刑事责任。甲某的过失犯罪行为，法律没有规定，所以，甲某的过失犯罪行为，不负刑事责任。
４。否定后件式。即在前提中，非假言前提否定充分必要条件假言前提的后件，而结论否定它的前件。其逻辑形式是：当且仅当ｐ，则ｑ；非ｑ，所以，非ｐ。
或借用数理逻辑的符号形式表示为：
例如：
当且仅当法律有规定时，则过失犯罪要负刑事责任。甲某的过失犯罪行为，不负刑事责任，所以，甲某的过失犯罪行为，法律没有规定。
返回