因此，q。
要特别注意这两种形式之间的差异。
“如果……那么……”陈述常常应用于另一对论证中，其中一个是有效的，一个是无效的。有效的论证如下
15. 如果这一解毒剂有效，那么这个病人就会活着。
这个病人没有活着。
因此，这一解毒剂无效。
形式如下
15′. 如果p，那么q。
非q。
因此，非p。
这一论证是有效的，尽管有人可能坚持要为第一个前提增加一个明确的限定条件。这个限定条件就是，“在没有任何别的药物可以挽救这个病人的情况下”，因为，人们可以主张，挽救这个病人的，可能是别的某个东西，或许是奇迹，而不是这一解毒剂。不过，要注意的是，这一限定条件无法拯救例14的无效论证，也无法拯救下面例子中的无效论证：
16. 如果这一解毒剂无效，那么这个病人就会死。
这一解毒剂有效。
因此，这个病人不会死。
此外，这个病人很可能死于其他原因，尽管有这一解毒剂。形式如下
16′. 如果p，那么q。
非p。
因此，非q。
这一论证形式是无效的。
