第五节 有限论域下公式(x)P(x)、(x)P(x)的表示法

三、在{1, 2}域上谓词公式的解释

　　谓词逻辑里公式的一个解释, 比命题逻辑要复杂得多。在已知的论域下，需对公式中所含的命题变项、自由个体变项、谓词变项以及函数给出一个具体的设定才构成该公式的一个解释I, 在I下该公式有确定的真值。下面在论域{1, 2}上讨论。