n项谓词 n-argument predicate;n-place predicate;n-termed predicate 亦称“n元谓词”、“n目谓词”。表示n个个体之间的关系的谓词。如命题:“ 是无理数”、“a和b全等”、“c、d和e相交于一点”中,“全等”,“相交于一点”就分别为“2项谓词”和“3项谓词”。“是无理数”是表示一个事物的性质的谓词是“1项谓词”。当分别用“F”、“G”,“H”表示“是无理数”、“全等”,“相交于一点”时,上面三个命题相应地可以写成:“F( )”、“G(a,b)”、“H(a,b,c)”。其中F、G、H分别表示“1项谓词”,“2项谓词”和“3项谓词”。 |