1705319360
1705319361
应当特别谨慎对待if（如果）一词。许多人认为if（如果）表示if and only if（当且仅当）。并非如此。If and only if（当且仅当）指定并限制了可能性；If（如果）则没有指定任何事情，它仅仅是引出一种条件。以下两个命题是不同的：
1705319362
1705319363
I will stay home if it rains.
1705319364
1705319365
如果下雨我就待在家里。
1705319366
1705319367
I will stay home only if it rains.
1705319368
1705319369
当且仅当下雨时我才待在家里。
1705319370
1705319371
第二个命题表明只有一件事情可以让我待在家里：下雨。另一个方面，第一个命题仅仅是说下雨会让我待在家里；其他事情也可能让我待在家里。从第一个命题中做出如下推论是错误的：如果我在家，那就是下雨了；如果不下雨，我就不会待在家里；如果现在没有下雨，我就不在家。
1705319372
1705319373
让我们更仔细地研究if（如果）这个词语。我们能有效地做出什么推论，我们的推论会误入什么歧途？我们从一个简单的例子开始：
1705319374
1705319375
如果埃德娜婶婶看望我们，她就会受到款待。
1705319376
1705319377
首先，我们可以说，如果她没有受到款待，那她就没有看望我们。但是，我们不能说，如果她受到了款待，那她就看望了我们。她可能受到了其他主人的款待。我们也不能说，如果她不在这里，她就不会受到款待。同样地，她出现在这里并不是她受到款待的排他性条件。
1705319378
1705319379
当我们认定一个命题的逆命题也为真时，我们就陷入了谬误。如果X为真，那么Y也为真（If X is true，then Y is true）的逆命题是如果Y为真，那么X也为真（If Y is true，then X is true）。逆命题并不总是为真：
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