2021年离散数学高等教育出版社屈婉玲

- 5.1 一阶逻辑等值式与置换规则 - 定义5.1 设A, B是两个谓词公式, 如果AB是永真式, 则称A与B等值, 记作AB, 并称AB是等值式基本等值式第一组 命