众所周知，在塔尔斯基（A．Tarski）的语义真理论（the semantic theory of truth）当中有这么一个等值图式（T）：X在L中是真的，当且仅当P。我们要理......