1705319391
当我们认定一个命题的否命题为真时，我们就陷入了另一个谬误。上述例子的否命题是：“如果埃德娜婶婶没有看望我们，那她就不会受到款待。”如果X为真，那么Y也为真（If X is true，then Y is true）的否命题是如果X不为真，那么Y也不为真（If X is untrue，then Y is untrue）。否命题并不总是为真：
1705319392
1705319393
如果你吃下毒药，那么你就会死。
1705319394
1705319395
——命题
1705319396
1705319397
如果你不吃毒药，那么你就不会死。
1705319398
1705319399
——否命题
1705319400
1705319401
这种谬误的另一个名称为否定前项谬误。当你说因为前项不为真，所以后项也不为真，这就是否定前项。
1705319402
1705319403
下面列举了某些可以从if…then（如果……那么）命题中演绎出来有效推论。同样地，情况属实可以表示真命题。因此，如果X情况属实，那么Y情况不属实可以理解为如果X为真，那么Y不为真。
1705319404
1705319405
1705319406
1705319407
1705319408
前两种无效形式属于肯定后项，或者认定逆命题为真。后一种无效形式属于否定前项，或者认定否命题为真。
1705319409
1705319410
还有最后一个if…then（如果……就）命题的变式值得一提：链条件，有时候称为系列条件或假设条件：
1705319411
1705319412
如果天气很好，我明天就出门。
1705319413
1705319414
如果我明天出门，我就去看望姐姐。
1705319415
1705319416
如果我看望姐姐，我就会在密尔沃基过夜。
1705319417
1705319418
如果我在密尔沃基过夜，我就不会在芝加哥停留。
1705319419
1705319420
因此，如果天气很好，我就不会在芝加哥停留。
1705319421
1705319422
这种论证方式的模式为：
1705319423
1705319424
如果A属实，那么B属实。
1705319425
1705319426
如果B属实，那么C属实。
1705319427
1705319428
如果C属实，那么D属实。
1705319429
1705319430
如果D属实，那么E属实。
1705319431
1705319432
在这种模式之下，以下都是合理的推论：
1705319433
1705319434
如果A属实，那么C属实。
1705319435
1705319436
如果A属实，那么D也属实。
1705319437
1705319438
如果A属实，那么E也属实。
1705319439
1705319440
如此等等，但是链条件很容易被滥用：