离散数学 学习 之 5.3 一阶逻辑的推理理论

第一个证明中，最后三步的化简很重要，倒数第三步构造出一个可以化简出倒数第二步的公式，最后再化简

上面中的第 1， 2 步 和 3 ， 4 步不能换，因为无法保证是同一个 c

尽量弄成前束范式

上面中2，3，4步的过程很重要

F(x) 只是一个泛指，可以写成 F(Y)