反事實條件句邏輯

反事實條件句邏輯是現代邏輯分支之一。研究反事實條件句的邏輯特性及與之有關的邏輯推理問題。在日常語言中，條件句可以分為直陳的條件句和虛擬的條件句兩類，以虛擬語氣形式出現的條件句就稱為反事實條件句。

運用數理邏輯方法對反事實條件句進行處理、刻劃的一種邏輯理論。反事實條件句的前件假後件也假，但前後件之間存在一定的內在關係。有人以可能世界理論為基礎，闡述了反事實條件句的性質，給出了它的真值條件，建立了一些不同的邏輯系統。