更改

'''<font color="#ff8000"> 反事实条件句 Counterfactual conditionals</font>'''（虚拟条件或X标记的）是用来讨论在不同情况下什么为真的的<font color="#ff8000"> 条件句 conditional sentence</font>。例如：如果彼得相信鬼魂的存在，他就会害怕来到这里。反事实句与指示句形成对比，后者一般只限于讨论开放的可能性。反事实动词的语法特征是使用虚拟时态语法，这种虚拟时态语法与时态和语态等其他语法结合使用。

'''<font color="#ff8000"> 反事实条件句 Counterfactual conditionals</font>'''（虚拟条件或X标记的）是用来讨论在不同情况下什么为真的的<font color="#ff8000"> 条件句 conditional sentence</font>。例如：如果彼得相信鬼魂的存在，他就会害怕来到这里。反事实句与指示句形成对比，后者一般只限于讨论开放的可能性。反事实动词的语法特征是使用虚拟时态语法，这种虚拟时态语法与时态和语态等其他语法结合使用。

Ginsberg(1986)提出了一种条件句的语义，它假定当前的信念形成了一组命题公式，考虑这些公式中与''A''一致的最大集合，并在每个集合中加入''A''。其理由是，这些最大集合中的每一个都代表了一种可能的信念状态，在这种状态下，''A''为真，且与原始状态尽可能相似。因此，当且仅当''B''在所有这些集合中都为真时，条件陈述句''A'' > ''B''才成立。<ref name="rev. no. 03011">{{Citation |title=Review of the paper: M. L. Ginsberg, "Counterfactuals," Artificial Intelligence 30 (1986), pp. 35–79 |url=https://zbmath.org/?q=an:0655.03011&format=complete |work=Zentralblatt für Mathematik |pages=13–14 |year=1989 |publisher=FIZ Karlsruhe – Leibniz Institute for Information Infrastructure GmbH |zbl=0655.03011}}.</ref>

Ginsberg(1986)提出了一种条件句的语义，它假定当前的信念形成了一组命题公式，考虑这些公式中与''A''一致的最大集合，并在每个集合中加入''A''。其理由是，这些最大集合中的每一个都代表了一种可能的信念状态，在这种状态下，''A''为真，且与原始状态尽可能相似。因此，当且仅当''B''在所有这些集合中都为真时，条件陈述句''A'' > ''B''才成立。<ref name="rev. no. 03011">{{Citation |title=Review of the paper: M. L. Ginsberg, "Counterfactuals," Artificial Intelligence 30 (1986), pp. 35–79 |url=https://zbmath.org/?q=an:0655.03011&format=complete |work=Zentralblatt für Mathematik |pages=13–14 |year=1989 |publisher=FIZ Karlsruhe – Leibniz Institute for Information Infrastructure GmbH |zbl=0655.03011}}.</ref>