（一）充分条件假言推理

充分条件假言推理是前提中有一个充分条件假言命题，并依据充分条件假言命题的逻辑性质进行的推理。

充分条件假言命题“如果 p,那么 q”断定 p 是 q 的充分条件，即有 p 就一定有 q,或者说有前件就一定有后件。据此，我们可以通过肯定前件来肯定后件，这样形成的推理式，称为肯定前件式，其推理形式为

如果 p,那么 q;

p，所以，q

其符号形式为

（p→q）∧p→q 例如：

现查明，某人确是凶手，所以，案发时某人一定在作案现场。

充分条件假言命题“如果 P,那么 q”还断定了 q 是 p 的必要条件，即无

q 就一定无 p，或者说没有后件就一定没有前件。据此，我们可以通过否定后件来否定前件，这样形成的推理式，称为否定后件式，其推理形式为

如果 p，那么 q;

非 q，所以，非 p 其符号形式为

（p→q）∧—q→—p

例如：

现查明，案发时某人不在作案现场；所以，某人不是凶手。

在充分条件假言命题“如果 p，那么 q”中，无 p 未必无 q 即没有前件不

一定没有后件，在这种情况下，我们就不能通过否定前件来否定后件，由此形成的否定前件式就是一个无效的推理式。亦即

如果 p，那么 q;

非 p，所以，非 q

是无效的。例如。

这个推理显然不能成立，因为即使不刮风，其他的原因也可以导致树叶摆动。

在充分条件假言命题“如果 p，那么 q”中，有 q 未必就有 p，即有后件不一定有前件，在这种情况下，我们就不能通过肯定后件来肯定前件，由此形成的肯定后件式就是一个无效的推理式。亦即

如果 P,那么 q

q 所以，p

是无效的。例如：

水面有波纹，所以，有人投下石于。

这个推理显然不能成立，因为别的原因也能使水面产生波纹。