肯定一个充分条件假言命题的前件，就要肯定其后件。这种有效推理模式称为