| 充分条件假言推理 sufficient condition hypothetical inference 以充分条件假言命题为假言前提的假言直言推理。根据充分条件假言命题的逻辑特性，有两条必须遵守的逻辑规则：(1)肯定前件就要肯定后件，否定前件不能断定后件;(2)否定后件就要否定前件，肯定后件不能断定前件。按此两条规则，有肯定前件式和否定后件式两种正确的形式。肯定前件式：直言前提肯定假言前提的前件，结论则肯定假言前提的后件。如：“如果两个三角形全等，则它们的对应边相等;△ABC与△ABD全等;所以，它们的对应边相等。”其推理形式是：“如果p，那么q;p，所以q。”否定后件式：直言前提否定假言前提的后件，结论则否定假言前提的前件。如：“如果两个三角形全等，则它们的对应边相等;△ABC与△ABD的对应边不等，所以，这两个三角形不全等。”其推理形式是：“如果p，那么q;非q，所以，非p。”常见的逻辑错误是直言前提否定假言前提的前件，而结论则否定其后件;或直言前提肯定假言前提的后件，而结论则肯定其前件。 |