上堂课的内容、重点与难点.pptVIP

讨论 如果将“若数a是实数，则它不是有理数就是无理数”翻译如下： p→((q∧?r)∨(?q∧r)) = ?p∨((q∧?r)∨(?q∧r)) = ?p∨((q∨r)∧(?q∨?r)) =(?p∨q∨r)∧(?p∨?q∨?r) 则有2个子句： ?p ∨q ∨ r ?p ∨ ?q ∨ ?r 如果只用到第1个子句，就能够归结出矛盾，当然更好了。 3.1.2 谓词 一、有关概念 1. 谓词的定义 2. 谓词填式 3. 谓词命名式 4. 谓词变元 作业04 2.7（3）（6） 2.8 3.1（2）（4） 补1 将下列命题符号化，并讨论它们的真值:  个体域{a}上的二元谓词 A(e1，e2)如下图所示: e1 e2 A1 A2 a a T F 谓词数目：2 个体域{a，b}上的二元谓词 A(e1，e2)如下图所示: e1 e2 A0 A1 A2 A3 A4 A5 A6 A7 A8 A9 A10 A11 A12 A13 A14 A15  a a T F T T T F F F T T T T F F F F a b T T F T T F T T F F T F T F F F b a T T T F T T F T F T F F F T F F b b T T T T F T T F T F F F F F T F 谓词数目：22 2 谓词数目 h——个体域的大小 m——个体变元数 谓词数目 一元谓词 二元谓词 三元谓词 四元谓词 1个个体 2 2 2 2 2个个体 4 16 256 65536 3个个体 8 512 134217728 2h m 谓词变元 约定: 大写字母A、B、C等——特定的谓词 小写字母a、b、c等——特定的个体或实体 大写字母X、Y、Z等——谓词变元 小写字母x、y、z等——个体变元 ——以谓词组成的集合为变域的变元 一元谓词变元 其中x为变量符号项、A为谓词变元。 此式表示x具有性质A。 注意：x，A分别在两个域上变化。 A(x) 二元谓词变元 其中x, y为变量符号项、A为谓词变元。 此式表示x和y具有关系A。 注意：x，y，A分别在三个域上变化。 A(x，y) 二、谓词语句的符号化 动词 系动词 形容词 集合名词 …… 谓词 例1 符号化：我送他这本书。 解：令 A(e1，e2，e3)表示“e1送e3给e2”； B(e)表示“e为书”； a表示“我”； b表示“他”； c表示“这”； 则原句译为： A(a，b，c)? B(c) 例2 符号化：这只大红书柜摆满了那些古书。 解：令 A(e1，e2)表示“e1摆满了e2； B(e)表示“e为大的”； C(e)表示“e为红的”； D(e)表示“e为书柜”； E(e)表示“e为古书”； a表示“这只”； b表示“那些”； 则原句译为： A(a，b)? B(a)? C(a)? D(a)? E(b) 例 将下列命题符号化，并讨论它们的真值: ????(1)只有2是素数，4才是素数； ????(2)如果5大于4，则4大于6。 解(1) 记 P(e)表示e为素数。 可以翻译为： P(4) ?P(2) 其真值为T。 (2) 记 G(e1, e2)表示e1大于e2。 可以翻译为： G(5,4) ?G(4, 6) 其真值为F。 例 如果我知道你不在家，我就不去找你了 。 解：令 F(e1,e2)表示“e1去找e2”, a表示“我”