第2章谓闹逻辑 类似的,用F(x)表示个体变元x具有性质F;用G(x,y)表 示个体变元x和y具有关系G;…,用P(x1x2…xn)(n≥1)表示 个体变元x12x2…xn具有关系P。如果谓词后面有n个个体变 元,则称为n元命题函数。例如F(x)、G(x,y)、P(x1x2 分别叫做一元命题函数、二元命题函数、n元命题函数 (n≥1)。因为命题函数中包含个体变元,因此命题函数没有 确定的真值,它不是命题。只要用个体常元取代所有的个体 变元,就得到了命题。 例如,用H(xy):x+y≥0,显然此命题函数不是命题,因 为它无法判断真假。令 a:5.b:-7 用a,b分别取代xy,就得到H(a,b),它表示5+(-7)0, 这是个假命题,它的真值为假 其实,用个体常元取代命题函数的所有个体变元所得到 的表达式就是前面所说的谓词填式。因为它由个体常元取代 命题函数中所有的个体变元而得到,所以也把谓词填式叫做
第2章 谓词逻辑 类似的，用F(x)表示个体变元x具有性质F；用G(x, y)表 示个体变元x和y具有关系G；…，用P(x1 ,x2 ,…,xn )(n≥1)表示 个体变元x1 , x2 , …,xn具有关系P。如果谓词后面有n个个体变 元，则称为n元命题函数。例如F(x)、G(x，y)、P(x1 ,x2 , …,xn ) 分别叫做一元命题函数、二元命题函数、n元命题函数 (n≥1)。因为命题函数中包含个体变元，因此命题函数没有 确定的真值，它不是命题。只要用个体常元取代所有的个体 变元，就得到了命题。 例如，用H(x,y)：x+y≥0，显然此命题函数不是命题，因 为它无法判断真假。令 a：5, b：－7 用a,b分别取代x,y，就得到H(a,b)，它表示5+(－7)≥0， 这是个假命题，它的真值为假。 其实，用个体常元取代命题函数的所有个体变元所得到 的表达式就是前面所说的谓词填式。因为它由个体常元取代 命题函数中所有的个体变元而得到，所以也把谓词填式叫做
第2章谓闹逻辑 0元命题函数。F(a),G(b,c),H(d,e/都是0元命题函数,它 们都是命题。于是命题逻辑中的命题均可以表示为谓词逻辑 中的0元命题函数(谓词填式,命题成为命题函数的特例 【例2.1】将下列命题符号化,并讨论它们的真值。 (1)2与3都是偶数。 (2)如果5大于3,则2大于6 解:(1)设F(x):x是偶数 2,b:3 该命题符号化为:F(a)∧F(b F(b)表示3是偶数,它是个假命题。所以F(a)∧F(b)为假 (2)设G(xy):x大于y q:5,b:3,c:2,d:6 该命题符号化为:G(a,b)G(c,d G(a,b)表示5大于3,它是真命题。G(c,d表示2大于6, 这是个假命题。所以G(a,b)→G(c;d为假
第2章 谓词逻辑 0元命题函数。F(a)，G(b,c)，H(d,e,f)都是0元命题函数，它 们都是命题。于是命题逻辑中的命题均可以表示为谓词逻辑 中的0元命题函数(谓词填式)，命题成为命题函数的特例。 【例2.1】将下列命题符号化，并讨论它们的真值。 ⑴ 2与3都是偶数。 ⑵ 如果5大于3，则2大于6。 解：⑴ 设F(x)：x是偶数。 a：2，b：3 该命题符号化为： F(a)∧F(b) F(b)表示3是偶数，它是个假命题。所以F(a)∧F(b)为假。 ⑵ 设G(x,y)： x大于y a：5，b：3，c：2，d：6 该命题符号化为：G(a,b)→G(c,d) G(a,b)表示5大于3，它是真命题。G(c,d)表示2大于6， 这是个假命题。所以G(a,b)→G(c,d)为假
第2章谓闹逻辑 2.1.3量词 量词分两种 (1)全称量词 日常生活和数学中常用的“一切的”,“所有的 “每一个”,“任意的”,“凡”,“都”等词统称为全称 量词,将它们符号化为“V”。并用(vx),(vy)等表示个体域 里的所有个体,而用(x)F(x)和(y)G(y)等分别表示个体域中 的所有个体都有性质F和都有性质G (2)存在量词 存在”,“有一个”,“有些”,“至少有一个”等 词统称为存在量词,将它们符号化为“彐”。并用(x),(3y) 等表示个体域里有些个体,而用(x)F(x)和(y)G①y)等分别表 示在个体域中存在个体具有性质F和存在个体具有性质G。 全称量词与存在量词统称为量词
第2章 谓词逻辑 2.1.3量词 量词分两种。 ⑴ 全称量词 日常生活和数学中常用的“一切的” ， “所有的” ， “每一个” ， “任意的” ， “凡” ， “都”等词统称为全称 量词，将它们符号化为“”。并用(x)，(y)等表示个体域 里的所有个体，而用(x)F(x)和(y)G(y)等分别表示个体域中 的所有个体都有性质F和都有性质G。 ⑵ 存在量词 “存在” ， “有一个” ， “有些” ， “至少有一个”等 词统称为存在量词，将它们符号化为“” 。并用(x)，(y) 等表示个体域里有些个体，而用(x)F(x)和(y)G(y)等分别表 示在个体域中存在个体具有性质F和存在个体具有性质G。 全称量词与存在量词统称为量词
第2章谓闹逻辑 【例22】个体域是人类集合,对下列命题符号化。 (1)凡人要死。 (2)有的人是研究生。 解:(1)令F(x):x要死 命题“凡人要死。”符号化为:(vx)F(x) (2)令G(x):x是研究生 命题“有的人是研究生。”符号化为:(彐x)G(x 在命题函数前加上量词(x)和(x)分别叫做个体变元x 被全称量化和存在量化。一般地说,命题函数不是命题, 如果对命题函数中所有命题变元进行全称量化或存在量化, 该函数就变成了命题。这一结论在例22中得到验证 虽然对命题函数中所有命题变元进行量化后,该命题 函数就变成了命题,但所得命题的真值与个体域的选定有 关。请看下列例题:
第2章 谓词逻辑 【例2.2】个体域是人类集合，对下列命题符号化。 ⑴ 凡人要死。 ⑵ 有的人是研究生。 解：⑴ 令F (x)：x要死。 命题“凡人要死。 ”符号化为：(x)F (x) ⑵ 令G(x)：x是研究生。 命题“有的人是研究生。 ”符号化为：(x)G(x) 在命题函数前加上量词(x)和(x)分别叫做个体变元x 被全称量化和存在量化。一般地说，命题函数不是命题， 如果对命题函数中所有命题变元进行全称量化或存在量化， 该函数就变成了命题。这一结论在例2.2中得到验证。 虽然对命题函数中所有命题变元进行量化后，该命题 函数就变成了命题，但所得命题的真值与个体域的选定有 关。请看下列例题：
第2章谓闹逻辑 【例23】对下列命题符号化,并在①,②,③三个个 体域中考察命题的真值。 命题:()所有数小于5 (2)至少有一个数小于5。 个体域: 2,4} 13,-2,7,8} ③115,20,24 解:设L(x):x小于5 (1)“所有数小于5。”符号化为:(vx)L(x 在个体域①,②,③中,它们的真值分别为:真,假,假。 (2)“至少有一个数小于5。”符号化为:(彐x)L(x) 在个体域①,②,③中,它们的真值分别为:真,真,假 命题函数中的个体变元被量化以后变成命题,其真值又 与个体域的选定有关,这对命题函数的研究带来了一定的困 难,为了统一,我们今后使用全总个体域。而将其它个体域
第2章 谓词逻辑 【例2.3】对下列命题符号化，并在①，②，③三个个 体域中考察命题的真值。 命题：⑴ 所有数小于5。 ⑵ 至少有一个数小于5。 个体域： ① -1，0，1，2，4 ② 3，-2，7，8 ③ 15，20，24 解：设L(x)：x小于5。 ⑴ “所有数小于5。 ”符号化为：(x) L(x) 在个体域①，②，③中，它们的真值分别为：真，假，假。 ⑵ “至少有一个数小于5。 ”符号化为：(x)L(x) 在个体域①，②，③中，它们的真值分别为：真，真，假。 命题函数中的个体变元被量化以后变成命题，其真值又 与个体域的选定有关，这对命题函数的研究带来了一定的困 难，为了统一，我们今后使用全总个体域。而将其它个体域