本文研究的对象是反事实条件句,其研究由来已久,经过了一定的过程并逐渐形成成熟的相关理论。从最早的由前后件之间推论关系出发提出“共存性”理论到后来应用可能世界的相关模态逻辑理论来刻画反事实条件句的真值条件。但是反事实条件句自身也存在一些困难,比如相关条件的描述难题,定律难题以及出现的一些“反例”。因此,本文的研究目的在于寻求一种方法,它能够初步地甚至彻底解决反事实条件句的这些难题。文章的第一部分开门见山,介绍了反事实条件句的定义、特征以及前人的研究理论。重点提出了在反事实条件句的研究过程中出现的难题。第二部分从反事实条件句过渡到预设理论,介绍了有关预设理论的相关背景知识以及前人的研究成果。文章的第三部分是本文的关键突破点和创新点,将有关预设的理论与反事实条件句原有的研究成果相结合,提出了一种基于预设基础之上针对反事实条件句的研究和分析方法。现代科学理论和技术的发展在日益专业化的同时,另一个方向也不容忽视：跨学科的发展。“预设”和“反事实条件句”不仅是语言学也是逻辑学研究的对象,本文就反事实条件句的几个困境尝试着从预设的角度来分析和解决。通过对各种反事实理论的分析和比较,结合预设理论提出了我们对反事实条件句的真值定义。该定义是运用可能世界理论和预设理论这两大工具,对共存理论以及斯托奈克尔和刘易斯的理论进行修改和再创造之后形成的。在基于我们的反事实条件句的真值定义下,反事实条件句所面临的诸多困难都能得到不同程度地解决或者合理的解释。