离散数学(第四章)解释.pptVIP

第二章 谓词逻辑 说明： 第四章 小结 二、例 1．在一阶逻辑中将下面命题符号化，并讨论真值： （1）存在x，使得 x+7=5 (a) D1为全总个体域 (b) D2=N (c) D3=R （1） (a) ?xH(x)，H(x)：x+7=5，为真 (b) ?x(F(x)?H(x))，H(x)同(a)中，F(x)：x为自然数，为假. (c) ?x(F(x)?H(x))，H(x)同(b)中，F(x) ： x为实数，为真 本例说明：不同个体域内，命题符号化形式可能不同（也可能相同），真值可能不同（也可能相同）. 2．在一阶逻辑中将下列命题符号化 （1）大熊猫都可爱 （2）有人爱发脾气 （3）说所有人都爱吃面包是不对的 （4）没有不爱吃糖的人 （5）一切人都不一样高 （6）并不是所有的汽车都比火车快 由于没指出个体域，故用全总个体域 （1）?x(F(x)?G(x)) 其中，F(x): x为大熊猫，G(x): x可爱 （2）?x(F(x)?G(x)) 其中，F(x): x是人，G(x): x爱发脾气 （3）??x(F(x)?G(x)) 或 ?x(F(x)??G(x)) 其中，F(x): x是人，G(x):x爱吃面包 （4）??x(F(x)??G(x)) 或 ?x(F(x)?G(x)) 其中，F(x): x是人，G(x): x爱