第四章一阶逻辑选编.ppt

凡是偶数都能被2整除。 6是偶数。 所以，6能被2整除。;第四章 一阶逻辑基本概念;(1) 1/3是无理数。  (2)x是有理数。 (3)小王与小李同岁。  (4)x与y具有关系L.;;例4.2 在个体域分别为(a),(b)条件时，将下列命题符号化 (1) 凡人都呼吸。 (2) 有的人用左手写字。 （a）个体域D1为人类集合 （b）个体域D2为全总个体域 ;例4.3 在个体域限制为(a),(b)条件时，将下列命题符号化 （1）对于任意的x,均有x2-3x+2=(x-1)(x-2) （2）存在x，使得x+5=3 其中:(a)个体域D1=N（N为自然数集合） (b)个体域D2 =R(R为实数集合）;小结;;;注意;定义4.5;;自由变元的代入规则是：;定义4.6;定义4.4 谓词演算的合式公式定义如下： （1）原子公式是合式公式； （2）若A是合式公式，则（﹁A）也是合式公式； （3）若A，B是合式公式，则（A∧B）、（A∨B）、（A→B）、（A?B）是合式公式； （4）若A是合式公式，则?x A、 ? x A是合式公式； （5）只有有限次地应用（1）~（4）构成的符号串才是合式公式。;一阶逻辑公式的解释;;解释;定义4.8;判断公式的类型;离散数学的应用问题;这是著名物理学家爱因斯坦出过的一道题：一个土耳其商人，想找一个十分聪明的助手协助他经商。有两个人前来应聘，这个商人为了试一试哪一个聪明些，就把两个人带进一间漆黑的屋子里。他打开电灯，并告诉他们：“这张桌子上有五顶帽子，两顶是红色的，三顶是黑色的。现在，我把灯关掉，而且把帽子摆的位置弄乱，然后我们三个人每人摸一顶帽子戴在头上，在我开灯后，请你们尽快地说出自己头上戴的帽子是什么颜色的。”说完之后，商人将电灯关掉，然后三人都摸了一顶帽子戴在头上，同时商人将余下的两顶帽子藏了起来，接着把电灯打开。这时，那两个应试者看到商人头上戴的是一顶红帽子。过了一会儿，其中一个人便喊道：“我戴的是黑帽子。”