北京航空航天大学计算机研究生考试必备.pdfVIP

北京航空航天大学计算机研究生考试必备北京航空航天大学计算机研究生考试必备 （三（三）） 北京航空航天大学计算机研究生考试必备北京航空航天大学计算机研究生考试必备 （（三三）） 《数理逻辑《数理逻辑》》 《《数理逻辑数理逻辑》》 1、将下列命题符号化： 1) 只有总经理才有秘书。 2) 任何驯服的马都受过良好训练。 3) 过任意两点恰有一条直线。 4) 每个不小于 6 的偶数都是两个奇素数之和。 5) 如果一个人只说谎话，那么他说的话没一句可信的。 6) 每个人都有唯一的身份证号码。 7) 有些汽车比所有的火车都跑得慢。 8) 会叫的狗未必会咬人。 9) 存在最小的自然数。 10) 对于每个实数都存在比它大的有理数。 2、甲、乙、丙三人报考王教授的研究生。考试后王教授谈了录取情况如下： 三人中只录取一人； 如果不录取甲，就录取乙； 如果不录取丙，就录取甲。 用命题逻辑确定王教授到底录取谁为他的研究生。 3、判断以下逻辑推论关系是否成立，并说明理由。 1) 2) 3) ∀x∀y (P (x ) ↔ Q (y )) |= ∀xP (x ) ↔ ∀xQ (x ) 4) ∀xP (x ) ↔ ∀xQ (x ) |= ∀x∀y (P (x ) ↔ Q (y )) 4 、以下公式是不是永真式、永假式？为什么？ 1) (p→q)Ú(q→r)→((pÚq)→r) ， 2) (xP(x)→xQ(x))→x(P(x)«Q(x))。 3) (p→q)↔(p∧q↔p) 4) (∀xP(x)→∀xQ(x))→∀x(P(x)→Q(x)) 5) (p→r)∨(q→r)→(p∨q→r) 6) (∃xF(x)↔∃xG(x))→∃x(F(x)↔G(x)) 5、1．若p1 ，p2 ，……，pm 是 m 个不同的命题变元，A1 ，A2 ，……，An ，B ，C1，C2，……，Cm 是命题逻辑公式，并且A1 ，A2 ， p1,p2, ……,pm p1,p2, ……,pm p1,p2, ……,pm ……An|=B ，证明： A 1 A n → B 是永真式。 C1,C2,……,Cm C1,C2, ……,Cm C1,C2, ……,Cm 6 以下等值式成立吗？为什么？ 1) (pÙq)Ú(ØpÙr)Ú(qÙr)Û(pÙq)Ú(ØpÙr)， 2) $xP(x)«$xQ(x)Û$x(P(x)«Q(x)) 。 3) (p∨q)∧(q∨r)∧(r∨p)⇔(p∧q)∨(q∧r)∨(r∧p) 4) ∀x(F(x)→G(x))⇔∃xF(x)→∀xQ(x) 7 用归结法证明以下推理是正确的。 1) 每个作家都写过作品。有的作家没有写过小说。因此，有的作品不是小说。 2) ∀x∃yP(x ，y)|=∀x∃y∃z(P(x，y)∧P(y，z)) 3) 有的职业是每个人都喜欢的。因此，每个人都有自己喜欢的职业。 4) 张三的每个朋友都是李四的朋友。因此，每个认识李四的所有朋友的人也认识张三的所有朋友。 5) 桌上的每本书都是杰作。写出杰作的人都是天才。某个不出名的人写了卓上的某本书。因此，某个不出名的人是天才。 8、用公理系统证明 ├ 9、定义二元连接词△为 p△q ⇔ ¬ (p →q) 。 证明：{↔ ，△}是极小完全集。 10、写出{⊕，←→，→，∧，∨，﹁}的 6 个极小完全集，并证明其中一个集的极小完全性。 11、对于任意谓词逻辑语句集Γ和任意谓词逻辑公式 A ，若Γ ∃xA，则存在常元 a 使得Γ A[x/a] 。 12．用演绎定理证明 ├（A→ B ）→ ((B→C) → (A→C)) 。 瑞都软件瑞都软件 历年真题按科目分类历年