数理逻辑与集合论作业三—参考解答.pdf

《数理逻辑与集合论作业三—参考解答.pdf》由会员分享，可在线阅读，更多相关《数理逻辑与集合论作业三—参考解答.pdf（5页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、数理逻辑与集合论作业三数理逻辑与集合论作业三 参考解答参考解答數理邏輯與集合論作業三 1.求下列公式的主合取範式和主析取範式，然後判斷其類型(永真、矛盾、可滿足)解答略2.解答:符號化得P:電話號碼數據庫是打開的 Q:監督程序被置於關閉狀態 R:系統不在初態R(),PQ等價變換為:()RPQ,故原文可等價改為:如果系統不在初態且電話號碼數據庫是打開的則監督程序將被置於關閉狀態。3.說明:a)本題相當之難，建議最後完成，也不要求每個人都做，但希望大家勇於挑戰自己的耐心(本題與其說是挑戰智商，莫若說是挑戰耐心)。另外，雖然網上有答案，但不要直接查看，從而喪失了一次很好的鍛煉機會;b)雖然條件中未出

2、現過斑馬，但本題中五種寵物為:蝸牛、狗、狐狸、斑馬、馬。馬和斑馬是兩種寵物，不要誤解為是同一種。c)本題翻譯不夠嚴謹，“綠房子在白房子的右邊”指的是綠房子緊挨著白房子且在其右邊。解答另見“斑馬難題解答.docx”4.解答:a)化簡律b)析取三段論c)假言推理d)附加律e)假言三段論5.證明:PQ:天氣不下雨;:天氣不起霧;RS:航行比賽舉行了;:救生表演進行了T:獎品頒發了前提:PQRS,;RT 結論:，,，TP證明:(1)附加前提引入，T(2)RT,前提引入(3)(，R1)(2)(4)PQRS,前提引入(5)，,，,，,，RSPQ(4)(6)(3)，,，RS 附加律(7)(，,，PQ6)(5

3、)假言推理，P(7)化簡律因此，結論成立。6.判斷下列論證是否正確并解釋原因。解答:a)正確。全稱量詞的特化b)錯誤。由結論推理出條件。c)錯誤。否定條件不見得能否定結論。d)正確。全稱量詞的特化+逆否定理7.答:a)P:我打曲棍球 Q:我第二天感到酸痛 R:我用水療前提:P,Q,Q,R,，R推理過程:，R,Q,R，Q P,Q，P，P 結論:所用推理規則:拒取式b)我本週二，週五不工作;上週一、上週五天氣晴或半晴。所用推理規則:拒取式，假言推理c)蜻蜓有六條腿;蜘蛛不是昆蟲;蜘蛛吃某种昆蟲。所用推理規則:拒取式，假言推理 d)荷馬不是學生。所用推理規則:拒取式。説明:不可得出馬奇是學生的結論

4、e)豆腐不好吃;你只吃不健康的食物。所用推理規則:假言推理，拒取式 f)我在幻覺中;我看見大象在路上跑。所用推理規則:假言推理，析取三段論8.解答:都用到了假言推理以及 UI，EG 規則9.解答:符號化:P:Superman is able to prevent evil Q:Supermen is willing to preventevilR:Suerman really prevent evil S:Superman is impotentT:Superman is malevolent U:Supenman exists前提:P,Q,R,，P,S，Q,T,，R,U,，S,，T，U 結論:證明:，RP,Q,R，P,，Q，P,S，Q,TS,TU,，S,，T，U