In this article, firstly, I will systemize the process in which Tarski defined the truth in the calculus of classes, and will study deeply some problems of the process.

  • 本文的主要内容是:首先把塔斯基定义类演算语言真句子的过程系统化,并对其中的一些问题进行探讨;

  • 互联网摘选 2025-01-20 13:18:17

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句