假设X和Y都是最抽象意义上的包含逻辑的组合子或λ表达式。问题：
X ⊢ Y ⇔ ⊢ YX
有可能成立吗？如果能成立，它是derivable还是admissible？如果不能成立，如何证明inconsistency？
说说看你的观点和理由是什么。
提醒：因为Deduction定理几乎是牢不可破的存在，所以
X ⊢ Y ⇔ ⊢ X ⊃ Y
几乎一定是在的，这导致YX这个「Y应用在X」上成了「Y逆蕴含X」。
发布于 上海
概念机器