名式 表示谓词结构的符号表达式。可以看作谓词的名字。在一个n项谓词后面的,由n个语法的个体变项组成的n元组是该谓词的名式。同一个谓词变项在不同的公式里,或者在同一公式的不同位置可以有不同的目式,但是名式是同一的。例如在:“(x)(∃y)R(x,y)→(v)(∃u)R(u,v)”中,R为2项谓词,在此公式中出现了两次。第一次的目式为(x,y),第二次的目式为(u,v)。用名式能更好地表示谓词的结构,例如上述2项谓词可以表示成R(Δ1,Δ2)。一般地n项谓词可以写成:R(Δ1,Δ2,…Δn)其中Δ1,Δ2,…,Δn为个体变项的语法符号。 |