第2章一阶逻辑 我们称由谓词符和变元符组成的符号串为命题函 数。之所以称为命题函数,是因为命题函数不是命题, 只有谓词为常元并将其中的变元代以具体的个体后, 才能构成命题。例如:"G(x,y):x整除y。"并不是 命题,但若取a:2,b:6,则G(a,a),G(a,b) 以及G(b,a)均是命题,前两个是真命题,第三个是 假命题。G(a,a)、G(a,b)等称为0元谓词,它 们不含个体变元,0元谓词即命题第2章 一阶逻辑 我们称由谓词符和变元符组成的符号串为命题函 数。之所以称为命题函数，是因为命题函数不是命题， 只有谓词为常元并将其中的变元代以具体的个体后， 才能构成命题。例如："G（x，y）：x整除y。 "并不是 命题，但若取a：2，b：6，则G（a，a），G（a，b） 以及G（b，a）均是命题，前两个是真命题，第三个是 假命题。G（a，a）、G（a，b）等称为0元谓词，它 们不含个体变元，0元谓词即命题