Question

充分条件假言判断的有效式

Answer 1

充分条件假言推理是根据充分条件假言命题的逻辑性质进行的推理。

充分条件假言推理有两条规则：

规则1：肯定前件，就要肯定后件；否定前件，不能否定后件。

规则2：否定后件，就要否定前件；肯定后件，不能肯定前件。

根据规则，充分条件假言推理有两个正确的形式：

（1）肯定前件式

如果p，那么q

p

___________

所以，q

（2）否定后件式

如果p，那么q

非q

___________

所以，非p

例如：

1. 如果谁骄傲自满，那么他就要落后；小张骄傲自满，所以，小张必定要落后。

2. 如果谁得了肺炎，他就一定要发烧；小李没发烧，所以，小李没患肺炎。

例1和例2都是充分条件假言推理，前者是肯定前件式；后者是否定后件式。这两个推理都符合推理规则，所以，都是正确的。