谓词逻辑的引入 ·对简单命题做进一步剖析，才能认识这种推理规律.这就需要引 入主体和谓词. 。引入变量并考虑到表示变量的数量上一段与个别的全称量词和存在 量词，进而研究它们的形式结构和逻组关系，这便构成了调词逻 相 。约定：第4、5、6童的时论，约定以小写字母表示命题，而以大写 字母来表示调词， 口回1元，4元↑至0QC 刘避利（上海交大CS实验室） 离散数学第四章：谓问逻辑的基本概念 3/1
¢c‹6⁄\ È{¸·Kâ?ò⁄ø¤ß‚U@£˘´Ìn5Æ©˘“Iá⁄ \ÃN⁄¢c© ⁄\C˛øƒL´C˛Í˛˛òÑÜáO °˛c⁄3 ˛cß? ÔƒßÇ/™(⁄‹6'XߢB§ ¢c‹ 6© ½µ14!5!6Ÿ?ÿß½±i1L´·Kß ±å i15L´¢c© 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒ Vg 3 / 1
谓词逻辑的引入 ·对简单命题做进一步剖析，才能认识这种推理规律.这就需要引 入主体和谓词. 。引入变量并考虑到表示变量的数量上一般与个别的全称量词和存在 量词，进而研究它们的形式结构和逻辑关系，这便构成了谓词逻 辑. 。约定：第4、5、6重的时论，约定以小写字母表示命题，而以大写 字母来表示调词， 口回1元，4元↑至0QC 刘避利（上海交大CS实验室） 离散数学第四章：谓词逻辑的基本概念 3/1
¢c‹6⁄\ È{¸·Kâ?ò⁄ø¤ß‚U@£˘´Ìn5Æ©˘“Iá⁄ \ÃN⁄¢c© ⁄\C˛øƒL´C˛Í˛˛òÑÜáO °˛c⁄3 ˛cß? ÔƒßÇ/™(⁄‹6'XߢB§ ¢c‹ 6© ½µ14!5!6Ÿ?ÿß½±i1L´·Kß ±å i15L´¢c© 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒ Vg 3 / 1
谓词逻辑的引入 。对简单命题做进一步剖析，才能认识这种推理规律.这就需要引 入主体和谓词. 。引入变量并考虑到表示变量的数量上一般与个别的全称量词和存在 量词，进而研究它们的形式结构和逻辑关系，这便构成了谓词逻 辑. ●约定：第4、5、6章的讨论，约定以小写字母表示命题，而以大写 字母来表示谓词. 刘避利（上海交大CS实验室） 离散数学第四章：谓词逻辑的基本概念 3/1
¢c‹6⁄\ È{¸·Kâ?ò⁄ø¤ß‚U@£˘´Ìn5Æ©˘“Iá⁄ \ÃN⁄¢c© ⁄\C˛øƒL´C˛Í˛˛òÑÜáO °˛c⁄3 ˛cß? ÔƒßÇ/™(⁄‹6'XߢB§ ¢c‹ 6© ½µ14!5!6Ÿ?ÿß½±i1L´·Kß ±å i15L´¢c© 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒ Vg 3 / 1
谓词和个体词 张三是学生，李四是学生. 。个体词：张三，李四； 。谓词：命题中如果主词只有一个，那么表示主词性质或者属性的词 就是（一元调词。如：“是学生"就是一个谓词，命题中若有多个个 体词，那么表示多个主词间的关系的词就称为（多元调词。 0谓词的表示：大写字母P,Q。命题表示为P,Q(,),其 中x,是个体词。 口回1元，4元↑至0QC 刘避利（上海攻大CS实验室） 离散数学第四章：谓词逻辑的基本概念 4/1
¢c⁄áNc ‹n¥Æ)©oo¥Æ)© áNcµ‹nßoo¶ ¢cµ·K•XJÃcêkòáß@oL´Ãc5ü½ˆ·5c “¥(ò)¢c"Xµ“¥Æ)”“¥òá¢c"·K•ekıáá Ncß@oL´ıáÃcm'Xc“°è(ı)¢c" ¢cL´µåi1P(·)ßQ(·)"·KL´èP(x), Q(x, y)ߟ •x, y¥áNc" 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒ Vg 4 / 1
谓词和个体词 张三是学生.李四是学生. 。个体词：张三，李四； ·谓词：命题中如果主词只有一个，那么表示主词性质或者属性的词 就是（一元）谓词。如：“是学生”就是一个谓词。命题中若有多个个 体词，那么表示多个主词间的关系的词就称为（多元）谓词。 0可的表示：大写字母P,Q。命题表示为P,Q(,),其 中工，是个体词。 口回1元，4元↑至0QC 刘避利（上海交大CS实验室） 离散数学第四章：谓词逻辑的基本概念 4/1
¢c⁄áNc ‹n¥Æ)©oo¥Æ)© áNcµ‹nßoo¶ ¢cµ·K•XJÃcêkòáß@oL´Ãc5ü½ˆ·5c “¥(ò)¢c"Xµ“¥Æ)”“¥òá¢c"·K•ekıáá Ncß@oL´ıáÃcm'Xc“°è(ı)¢c" ¢cL´µåi1P(·)ßQ(·)"·KL´èP(x), Q(x, y)ߟ •x, y¥áNc" 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒ Vg 4 / 1