实用工程数学6数理逻辑.pptVIP

6.3 谓词逻辑 【例1】用O元谓词将下列命题符号化. (3)罗华和李兵都是学生． (4)如果张华比黎明高，黎明比王宏高，则张华比王宏高． 【解】 （３） 令P(x)：x是学生，a：罗华，b：李兵， 则命题符号化为 P(a)?P(b)． （４）令L(x,y)：x比y高，a：张华，b：黎明，c：王宏， 则命题符号化为 6.3 谓词逻辑 3． 量词 表示个体常项和个体变项之间数量关系的词称为量词. (2) 存在量词 对于日常生活中的“存在”、“有些”、“有一个”、“至少有一个”等词作为存在量词，用符号“ ”表示. 表示存在个体域中个体 ，而 表示存在个体域中的一个个体 具有性质 . (1) 全称量词 对于日常生活中的“任意的”、“所有的”、“凡是”、“每一个”、“都”等词作为全称量词，用符号“ ”表示. 表示个体域中的所有 ，而 表示个体域中的所有个体都具有性质 . 6.3 谓词逻辑 【例２】在个体域 为人的集合的条件时，将下列命题符号化： （１）凡是人都要喝水