必要条件假言推理

---

逻辑学术语。指以必要条件假言判断为大前提推出结论的假言推理。如：“只有懂法律，才能当律师；王某不懂法律；所以王某不能当律师。”它的符号式是：只有p才q；非p，所以非q。再简化为：→p→→q；→p，所以→q。它的规则是：
❶ 否定前件必否定后件，肯定前件则不能肯定后件；
❷ 肯定后件必肯定前件，否定后件则不能否定前件。