谓词的基本概念 ·个体常项，个体变项：P(张三)中的张三是个体词或称个体常项. P(x)中的变量x为个体变项或个体变元. ●谓词常项，谓词变项：有n个个体的谓词P(x1,…,xm)称n元谓词. 。如果是已成有确定含义的谓词，就称为谓词常项 。而P表示任一谓词时，就称为情词变项，请词变项的变化范围，不做 特别声明时，指一切关系或一切性质的集合 。个体碳成：存体变项的变化范国积为个体回或论度，以表 示，除非明确指明，认为是包活一切事物的一个最厂的德合 论城的重要性：同一调同在不同论过下的描还形式可能不同，所取 的真假度也可能不同 刘避利（上海文大-CS实验室） 离散数学第四章：谓词逻辑的基本概念 6/1¢cƒVg áN~ëßáNCëµP(‹n)•‹n¥áNc½°áN~ë© P(x)•C˛xèáNCë½áNC© ¢c~ëߢcCëµknááN¢cP(x1, · · · , xn)°n¢c© XJP¥ÆDk(½¹¬¢cß“°è¢c~ë© PL´?ò¢cûß“°è¢cCë"¢cCëCzâåßÿâ AO(²ûßçòÉ'X½òÉ5ü8‹© áNç/ÿçµÚáNCëCzâå°èáNç½ÿçß±DL ´©ÿö²(ç²ß@èD¥ù)òÉØ‘òáÅ28‹© ÿç­á5µ”ò¢c3ÿ”ÿçe£„/™åUÿ”ߧ ˝bäèåUÿ”" 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒVg 6 / 1