谓词举例 。“张三和李四是兄弟”，其中“是兄弟”是谓词； ●“5大于3”.其中“大于”是谓词； 。“张三比李四高”.其中“比高”是谓词； 。“天津位于北京的东南”.其中“位于.东南”是谓词； ●“A在B上”.其中“在.…上"是谓词。 口回1元，4元↑至0QC 刘避利（上海交大-CS实验室） 离散数学第四章：谓词逻辑的基本概念 5/1
¢cfi~ “‹n⁄oo¥73”ߟ•“¥73”¥¢c¶ “5åu3”©Ÿ•“åu”¥¢c¶ “‹n'oop”©Ÿ•“'...p”¥¢c¶ “U9†uÆ¿H”©Ÿ•“†u...¿H”¥¢c¶ “A3B˛”©Ÿ•“3...˛”¥¢c" 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒ Vg 5 / 1
谓词的基本概念 ·个体常项，个体变项：P(张三)中的张三是个体词或称个体常项. P(x)中的变量x为个体变项或个体变元. 。调词常项，谓词变项：有个个体的请词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
谓词的基本概念 ·个体常项，个体变项：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
谓词的基本概念 ·个体常项，个体变项：P(张三)中的张三是个体词或称个体常项. P(x)中的变量x为个体变项或个体变元. ●谓词常项，谓词变项：有n个个体的谓词P(x1,…,xm)称n元谓词. ●如果P是已赋有确定含义的谓词，就称为谓词常项 。而表示任一谓词时，就称为情词变项。请词变项的变化范围，不做 特别声明时，指一切关系或一切性质的集合 。个体域论域：将个体变项的变化范围称为个体域或论域，以D表 示，除非明确指明，认为D是包括一切事物的一个最广的桌合， 论城的重要性：同一调同在不同论过下的描还形式可能不同，所取 的具假值电可能不同 刘避利（上海文大-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
谓词的基本概念 ·个体常项，个体变项：P(张三)中的张三是个体词或称个体常项. P(x)中的变量x为个体变项或个体变元. ●谓词常项，谓词变项：有n个个体的谓词P(x1,…,xm)称n元谓词. ●如果P是已赋有确定含义的谓词，就称为谓词常项 ·而P表示任一谓词时，就称为谓词变项。谓词变项的变化范围，不做 特别声明时，指一切关系或一切性质的集合. 。个体域论域：将个体变项的变化范围称为个体域或论域，以D表 示，除非明确指明，认为D是包括一切事物的一个最广的桌合， 。论城的重要性：同一谓词在不同论域下的描述形式可能不同，所取 的真假值也可能不同 刘避利（上海文大-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