等式逻辑

（计算机科学技术名词）

等式逻辑（equational logic）是2018年公布的计算机科学技术名词。以等式符号为唯一谓词符号的一阶逻辑，是一种通过等式替换进行推理的形式系统。