反事實條件

反事實條件  ， 或虛擬條件 ， 致力於捕獲在自然語言中的 “ 如果 - 那麼 ” 陳述的條件陳述 。 與實質條件陳述不同 ， 反事實條件可以爲假即使它的前件爲假 。 在自然語言中的 " 如果 - 那麼 " 的意思不是總能正確的用實質條件所形式化 。 特別是 ， 實質條件總是真的 ， 只要它們的前件爲假 ， 而在自然語言中的 " 如果 - 那麼 " 陳述 ， 是直陳條件 ， 可以在這種情況下爲假 。 例如 ， 陳述 “ 如果小明在墨西哥 ， 則小明在非洲 ” 將典型的被認爲是假 。 但是 ， 如果小明當前不在墨西哥 ， 則對應的邏輯條件是真 。 換句話說 ， 如果陳述 “ 小明在墨西哥 ” 和 “ 小明在非洲 ” 被分別的形式化爲命題和 ， 你可能不希望第一個蘊涵第二個 。 不過 ， 如果當前爲假 ， 則在命題邏輯中是真 。 爲了區分反事實條件和實質條件 ， 定義了符號 ， 所以意味着 “ 如果 ， 則 ” 。 反事實條件的語義不能用條件和的真值表的方式定義 ， 因爲那是給實質條件用的 。 實際上有些不同的情況在和的真值上是一致的 ， 但是仍希望給出不同的的求值 。 例如 ， 如果小明在德國 ， 則下列兩個條件都有假的前件和假的後件 ： 如果小明在美國 ， 則小明在非洲 如果小明在美國 ， 則小明在北美洲 實際上 ， 如果小明在德國 ， 則所有三個情況 “ 小明在美國 ” 、 “ 小明在非洲 ” 和 “ 小明在北美洲 ” 都是假的 。 但是 ， 第一種情況明顯是假的 ： 美國不在非洲 ； 第二種情況是真的 ： 美國是北美國家 。