「有谓词就有可证（⊢），没有谓词只有可导，但形式上无前提可导也是可证，如果规则sound。」 _新浪新闻

概念机器

26-01-20 20:00

「有谓词就有可证（⊢），没有谓词只有可导，但形式上无前提可导也是可证，如果规则sound。」

发布于上海