1.否定前件

在讨论条件论证时（形式A→B），我们知道有两种有效的形式：肯定前件和否定后件。

与此相对应的，无效形式也有两种，第一种就是否定前件。这种论证的形式如下：

广告：个人专属 VPN，独立 IP，无限流量，多机房切换，还可以屏蔽广告和恶意软件，每月最低仅 5 美元

A→B

-A

所以，-B

举例如下：

如果路易斯在跑步，那么他在移动。

路易斯没有跑步。

所以，他没有移动。

分析：我们可以很明显地看出，路易斯没有跑步不是他没有移动的充分条件。大前提告诉我们的是，如果A实现，则B必然实现（路易斯没有移动则必然没有跑步）。但是这不意味着A是可以导致B的唯一条件（路易斯在移动可以是因为他在走路，或者在睡梦中翻身，或者是在跳舞机上跳舞）。就是这样，仅仅是A的缺席并不能得出B一定缺席的结论。记住，这是一个无效论证，因为结论并不具备必然性。那么结论可能是正确的吗？可能，但是不能确定。