塔尔斯基(T)型等值式成立吗?
탑이사기(T)형등치식성립마?
Do Tarski Biconditionals Stand on Firm Ground?