离散数学，求谓词公式的前束范式

Question

如题所述

Answer 1

步骤分为几步：①先对不同辖域的同名变元进行换名 ②将量词前面的否定联结词移到量词后面（谓词前面） ③利用谓词等值式，将量词移到全式最前面，这里有一个技巧，就是在看的时候，某些在辖域中不受左边括号外的量词作用的公式可以看成是一个整体，你可以想象成用一个A来表示，就好套公式了。