研究用于表示精确数学思想的语句的含义和关系。符号逻辑也称为形式逻辑。
符号逻辑
另请参阅
逻辑, 元数学使用 探索
参考文献
Carnap, R. 符号逻辑及其应用导论。 纽约:Dover,1958 年。在 中被引用
符号逻辑以此引用
Eric W. Weisstein “符号逻辑。” 来自 —— 资源。 https://mathworld.net.cn/SymbolicLogic.html
研究用于表示精确数学思想的语句的含义和关系。符号逻辑也称为形式逻辑。
Eric W. Weisstein “符号逻辑。” 来自 —— 资源。 https://mathworld.net.cn/SymbolicLogic.html