等式逻辑（equational logic）是2018年公布的计算机科学技术名词。
以等式符号为唯一谓词符号的一阶逻辑，是一种通过等式替换进行推理的形式系统。
《计算机科学技术名词 》第三版。
水利万物而不争,
而万物莫能与之争。
