反事實蘊涵

反事實蘊涵是在反事實條件句邏輯的研究中，用於刻畫反事實條件句前、後件之間的邏輯關係的二元聯結詞。

對於形式為“如果有情況p（事實上不是或不大可能是），那么就有情況q”的反事實條件句，可以用“p口一q”（或“p>q”）來表示，其中的符號口一（或>）就是反事實蘊涵。