研究用於表示精確數學思想的語句的含義和關係。符號邏輯也稱為形式邏輯。
符號邏輯
另請參閱
邏輯, 元數學使用 探索
參考文獻
Carnap, R. 符號邏輯及其應用導論。 紐約：Dover，1958 年。在 中被引用
符號邏輯以此引用
Eric W. Weisstein “符號邏輯。” 來自 —— 資源。 https://mathworld.tw/SymbolicLogic.html
主題
主題
主題
研究用於表示精確數學思想的語句的含義和關係。符號邏輯也稱為形式邏輯。
Eric W. Weisstein “符號邏輯。” 來自 —— 資源。 https://mathworld.tw/SymbolicLogic.html