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