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