【反実仮想】

Findet nicht nur als grammatischer Fachterminus Verwendung, sondern auch in der Logik. Siehe beispielsweise die Monographie 『可能世界の哲学　「存在」と「自己」を考える』von 三浦俊彦, einem Philosophieprofessor der 東大。Dort wird der Begriff 反実仮想 bereits im Abschnitt der Erläuterung von logischen Operationen als Bezeichnung für die Operation der kontrafaktischen Konditionale verwendet.