And I prove the formal axiomatic system of prepositional logic that is made up of Axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.

  • 证明:由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。

  • 互联网摘选 2025-01-20 13:05:39

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