考研全国硕士研究生入学统一考试北京航空航天大学1999年考研数理逻辑试题真题

　　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分）

　　用归结法证明以下推理是正确的。

　　每个作家都写过作品。有的作家没有写过小说。

　　因此，有的作品不是小说。    更多试题试卷，请从页面上方或下方进入，我已经将整站的试卷按字母进行了排列，大家可以按试卷首字母拼音，点击相应的A B C D E...进行查找。
    如果本站收集的内容侵犯了你的权利，也请告诉我，我会进行核实后并立即予以删除。
    如果认为此网站还可以，告诉你的朋友们吧，我会一如继往，努力拼命的，哈哈！
    卓越网:  想购书北京航空航天大学请点击此处