discrete_math离散数学教案.ppt

* （2） 令S(x): x吸烟。则符号化为： 　　　 ?x(M(x)∧S(x)) 　　　真值为１。 （3） 令D(x): x登上过木星。则符号化为： 　　　 ? ?x(M(x)∧D(x)) 　　　真值为１。 （4）令Q(x):x是清华大学的学生。H(x):x是高素质的。则符号化为： 　 ? ?x(Q(x) ?H(x)) 真值为１。 2.1 一阶逻辑基本概念 * 练：在一阶逻辑中将下列命题符号化，并讨论其真值。 （1）凡正数都大于零。 （2）存在小于2的素数。 （3）没有不能表示成分数的有理数。 （4）并不是所有参加考试的人都能取得好成绩。 解： （1） 令F(x): x是正数。M(x):x大于零。则符号化为： 　　　?x(F(x) ?M(x)) 　　　真值为1。 2.1 一阶逻辑基本概念 * （2） 令E(x): x小于2。S(x):x是素数。则符号化为： 　　　 ?x(E(x)∧S(x))　　　真值为0。 （3） 令D(x): x是有理数。F(x):x能表示成分数。则符号化为： ?x(D(x) ?F(x)) 或 ? ?x(D(x)∧ ? F(x))　　　真值为１。 （4）令M(x)：x是人.Q(x):x参加考试。H(x):x取得好成绩。则符号化为： 　 ? ?x(M(x)∧ Q(x) ?H(x)) 或 ?x(M(x)∧ Q(x)∧ ? H(x)) 真值不定。 2.1 一阶逻辑基本概念 * 例：在一阶逻辑中将下列命题符号化 1）没有不犯错误的人 2）对于所有自然数，均有x+y≥x 解：1）M(x)：x是人 F(x)：x犯错误 符号化为：┐?x(M(x)∧┐F(x)) 2）N(x)：x是自然数 F(x,y)：x+y≥x ?x?y(N(x)∧N(y)→F(x,y)) * 例：在一阶逻辑中将下列命题符号化 。 （1）（所有的）兔子比（所有的）乌龟跑得快。 （2）有的兔子比所有的乌龟跑得快。 （3）并不是所有的兔子都比乌龟跑得快。 （4）没有两只跑得同样快的兔子。 解：令　H(x): x是兔子。W(x):x是乌龟。 K(x,y):x比y跑得快。L(x,y):x和y跑得一样快。 则符号化为： （1）?x ?y(H(x)∧ W(y) ?K(x,y)) 2.1 一阶逻辑基本概念 * （2） ?x (H(x)∧ ?y(W(y) ?K(x,y))) （3） ?x ?y( H(x)∧W(y) ∧ ? K(x,y)) 或 ??x ?y(H(x)∧ W(y) ?K(x,y)) （4） ? ?x ?y( H(x)∧H(y) ∧ L(x,y)) 或 ?x ?y(H(x)∧ H(y) ? ? L(x,y)) 2.1 一阶逻辑基本概念 * 例：在一阶逻辑中将下列命题符号化 。 （1）每列火车都比有些汽车跑得快。 （2）某些汽车比所有火车慢。 （3）每个人都喜爱自己的孩子。 （4）对于任意给定的正实数，都存在比它大的实数。 解： （1）令　H(x): x是火车。W(x):x是汽车。 K(x,y):x比y跑得快。 则符号化为： 　　?x (H(x) ? ? y(W(y) ∧ K(x,y))) 2.1 一阶逻辑基本概念 * （2）令　H(x): x是火车。W(x):x是汽车。 K(x,y):x比y跑得慢。 则符号化为： 　　 ? x(W(x) ∧ ? y(H(y) ? K(x,y))) （3）令M(x): x是人。H(x):x是孩子。 P(x,y):x是y的父母。 K(x,y):x喜爱y。 则符号化为： 　 ?x ?y(M(x)∧H(y)∧P(x,y) ? K(x,y)) （4）令M(x): x是实数。P(x,y): x y。 则符号化为： 　 ?x(M(x)∧P(x,0)??y(M(y) ∧P(y,x))) 2.1 一阶逻辑基本概念 * 说明： （1）分析命题中表示性质和关系的谓词，要分别符号化为一元和n(n ≥ 2)元谓词。 （2）根据命题的实际意义选用? 或 ? 。 （3）一般来说，当多个量词同时出现时，它们的顺序不能随意调换。如： 在实数域上用L(x,y)表示x+y=10命题为：对于任意的x,都存在y使得x+y=10。 可符号化为： ?x?yL(x,y) 真值为1。 若调换顺序后为： ?y?xL(x,y) 真值为0。 2.1 一阶逻辑基本概念 * 说明： （4）有些