否后必否前什么定律？

必要条件假言推理是指以必要条件的假言命题为假言前提的假言直言推理。

根据必要条件假言命题的逻辑特性，有两条必须遵守的逻辑规则：(1)否定前件就要否定后件，否定后件不能断定前件；(2)肯定后件就要肯定前件，肯定前件不能断定后件。按此两条规则，有否定前件式和肯定后件式两种正确的形式。否定前件式：直言前提否定假言前提的前件，结论则否定假言前提的后件。

什么是否定后件式？

要理解这个问题，首先要明白充分条件假言命题的逻辑性质。

充分条件假言命题是指前件是后件的充分条件，所谓充分条件是指：前件真，后件必真；前件假，后件可真可假。反过来，后件真，前件可真可假；后件假，前件必假。也意味着前件真而后件假或者后件假而前件真是不可能的。

所以，充分条件假言推理有两种有效式：肯定前件式和否定后件式。

肯定前件式是指“肯定前件就要肯定后件”；否定后件式是指“否定后件就要否定前件”