2-2.2原子谓词么式 定义:称n元谓词P(x,x2,,xn)为原子 谓词公式。 例如P、Q(x)、A(x,f(x))、B(x,y,a) 都是原子谓词公式。2-2.2 原子谓词公式 • 定义：称n元谓词P(x1,x2,...,xn)为原子 谓词公式。 • 例如 P、Q(x) 、 A(x,f(x))、B(x,y,a) 都是原子谓词公式