归档
关于
Whereof one cannot speak, thereof one must be silent.
分类
全部
(2)
可靠性定理
(1)
逻辑基础
(1)
命题逻辑
(1)
Soundness Theorem
(1)
逻辑基础问题
逻辑基础
为作为基础学科的逻辑构建哲学基础。
2026年1月7日
命题逻辑的可靠性定理
命题逻辑
可靠性定理
Soundness Theorem
本文证明了命题逻辑系统的可靠性：若一个公式在系统中可证，则它在语义上是永真的。
2025年12月28日
无匹配项