等式邏輯

等式邏輯（equational logic）是2018年公布的計算機科學技術名詞。

基本介紹

• 中文名：等式邏輯
• 外文名：equational logic
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

以等式符號為唯一謂詞符號的一階邏輯，是一種通過等式替換進行推理的形式系統。

出處

《計算機科學技術名詞 》第三版。