| 充分必要条件假言推理 necessary and sufficient condition hypothetical inference 以充分必要条件的假言命题为假言前提的假言直言推理。充分必要条件假言命题的逻辑性质是：有前件就有后件;没有前件就没有后件;有后件就有前件;没有后件就没有前件。因此它有四种正确形式：(1)肯定前件式：“当且仅当p，则q;p;所以q。”(2)肯定后件式：“当且仅当p，则q;q;所以p。”(3)否定前件式：“当且仅当p，则q;非p;所以非q。”(4)否定后件式：“当且仅当p，则q;非q;所以非p。” |