几种逻辑命题（命题逻辑十）

几种逻辑命题（命题逻辑十）例： （Ⅱ）否定后件式：如果肯定一个充分条件假言命题，并且否定它的后件，那么，必须否定它的前件。 ①如果敌人向山头开炮，那么敌人尚未占领山头。敌人向山头开炮，所以，敌人尚未占领山头。 ②如果一个三段论是有效的，那么其中项至少周延了一次。这个三段论有效，所以，它的中项至少周延了一次。 ③哪里搞改革，哪里就有新气象。这里搞改革，这里就有新气象。

假言命题（三）——充分条件假言命题

根据充分条件假言命题的上述性质，充分条件假言推理的有效式包括：

（Ⅰ）肯定前件式：如果肯定一个充分条件假言命题，并且肯定它的前件，那么必须肯定它的后件。

例：

①如果敌人向山头开炮，那么敌人尚未占领山头。敌人向山头开炮，所以，敌人尚未占领山头。

②如果一个三段论是有效的，那么其中项至少周延了一次。这个三段论有效，所以，它的中项至少周延了一次。

③哪里搞改革，哪里就有新气象。这里搞改革，这里就有新气象。

（Ⅱ）否定后件式：如果肯定一个充分条件假言命题，并且否定它的后件，那么，必须否定它的前件。

例：

①如果下雨，路面就会湿；路面不湿，所以，没有下雨。

②如果敌人向山头打炮，那么敌人尚未占领山头；现在敌人已经占领山头，所以，敌人不会向山头打炮。

③如果一个三段论有效，其中项就至少周延了一次；某三段论中项一次也不周延，因此，这个三段论无效。