第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)为假