1705319380
1705319381
如果你吃下毒药，那么你就会死
1705319382
1705319383
—命题
1705319384
1705319385
如果你死了，那么是因为你吃过毒药。
1705319386
1705319387
——逆命题
1705319388
1705319389
条件中的if（如果）部分被称为前项（前提），then（那么）部分被称为后项（推论）。刚刚描述的谬误还有一个名称为肯定后项谬误。当你说因为后项为真，所以前项必须为真，这就是肯定后项。
1705319390
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