|
发信人: caeser_zy(^*^金牛座BB仔) 整理人: jasminwen(2003-04-13 18:16:55), 站内信件 |
| 北京航空航天大学1999年研究生入学考试试题：数理逻辑
（共40分） 1、(10分) 在谓词逻辑中将下列命题符号化： ① 过任意两点恰有一条直线。 ② 每个不小于6的偶数都是两个奇素数之和。 2、(10分) 以下公式是不是永真式、永假式？为什么？ ① (p→q)Ú(q→r)→((pÚq)→r)， ② (";xP(x)→";xQ(x))→";x(P(x)«Q(x))。 3、(10分) 以下等值式成立吗？为什么？ ① (pÙq)Ú(ØpÙr)Ú(qÙr)Û(pÙq)Ú(ØpÙr)， ② $xP(x)«$xQ(x)Û$x(P(x)«Q(x))。 4、(10分) 用归结法证明以下推理是正确的。 每个作家都写过作品。有的作家没有写过小说。 因此，有的作品不是小说。 ----   |
|
[关闭][返回] |