充分条件假言命题推理中，否定后项能推出前项。但我不明白，在充分条件假言命题中，如果后项是假的，那

Question

前项真假不是应该不确定吗？那又是怎么在推理中推出前项是假的呢？

Answer 1

要理解这个问题，首先要明白充分条件假言命题的逻辑性质。
充分条件假言命题是指前件是后件的充分条件，所谓充分条件是指：前件真，后件必真；前件假，后件可真可假。反过来，后件真，前件可真可假；后件假，前件必假。也意味着前件真而后件假或者后件假而前件真是不可能的。
所以，充分条件假言推理有两种有效式：肯定前件式和否定后件式。
肯定前件式是指“肯定前件就要肯定后件”；否定后件式是指“否定后件就要否定前件”。