因此，q。

要特别注意这两种形式之间的差异。

“如果……那么……”陈述常常应用于另一对论证中，其中一个是有效的，一个是无效的。有效的论证如下

15. 如果这一解毒剂有效，那么这个病人就会活着。

这个病人没有活着。

因此，这一解毒剂无效。

形式如下

15′. 如果p，那么q。

非q。

因此，非p。

这一论证是有效的，尽管有人可能坚持要为第一个前提增加一个明确的限定条件。这个限定条件就是，“在没有任何别的药物可以挽救这个病人的情况下”，因为，人们可以主张，挽救这个病人的，可能是别的某个东西，或许是奇迹，而不是这一解毒剂。不过，要注意的是，这一限定条件无法拯救例14的无效论证，也无法拯救下面例子中的无效论证：

16. 如果这一解毒剂无效，那么这个病人就会死。

这一解毒剂有效。

因此，这个病人不会死。

此外，这个病人很可能死于其他原因，尽管有这一解毒剂。形式如下

16′. 如果p，那么q。

非p。

因此，非q。

这一论证形式是无效的。