命題邏輯復(fù)習(xí)題及答案-資料下載頁
2025-06-20 04:47本頁面
【正文】 (2) (1) (簡化式) (3) (4) (2),(3) (假言推理) (5) (6) (5) () (7) (6) (簡化式) (8) (4),(7) (合取式) 由（8）得出矛盾式，故原命題有效.1證明下列命題推得的結(jié)論有效：或者邏輯難學(xué)，或者有少數(shù)學(xué)生不喜歡它；如果數(shù)學(xué)容易學(xué)，如果許多學(xué)生喜歡邏輯，那么數(shù)學(xué)并不難學(xué).證明：設(shè)：邏輯難學(xué)；：有少數(shù)學(xué)生不喜歡邏輯學(xué)；：數(shù)學(xué)容易學(xué).該推理就是要證明：.(1) (2) (1) (蘊含表達式) (3) (4) (2),(3) (前提三段論) (5) (4) (逆反律) .1證明下列命題推得的結(jié)論有效：如果今天是星期三，那么我有一次離散數(shù)學(xué)或數(shù)字邏輯測驗；如果離散數(shù)學(xué)課老師有事，那么沒有離散數(shù)學(xué)測驗；，我有一次數(shù)字邏輯測驗.證明：設(shè)：今天是星期三；：我有一次離散數(shù)學(xué)測驗；：我有一次數(shù)字邏輯測驗；：離散數(shù)學(xué)課老師有事.該推理就是要證明：.(1) (2) (1) (簡化式) (3) (1) (簡化式) (4) (5) (3) ，(4) （假言推理）(6) (7) (2) ，(6) （假言推理）(8) (5) ，(7) (析取三段論) .1證明下列命題推得的結(jié)論有效：如果馬會飛或羊吃草，則母雞就會是飛鳥；如果母雞是飛鳥，那么烤熟的鴨子還會跑；，羊不吃草。證明：設(shè)：馬會飛；：羊吃草；：母雞是飛鳥； ：烤熟的鴨子還會跑.該推理就是要證明：.(1) (2) (3) (1)，(2) (拒取式) (4) (5) (3) ，(4) (拒取式)(6) (5) ()(7) (6) (簡化式) .證明下列命題推得的結(jié)論有效：若隊第一，則隊或隊獲亞軍；若隊獲亞軍，則隊不能獲冠軍；若隊亞軍，則隊不能獲亞軍；，隊不是亞軍.證明、設(shè)：隊得第一；：隊獲亞軍；：隊獲亞軍；：隊獲亞軍.該推理就是要證明：.（1） （2） （3） （1），（2）(假言推理) （4） （5） （1），（4）(拒取式) （6） （3），（5）(析取三段論) （7） （8） （6），（7）(拒取式) .
范文總結(jié)相關(guān)推薦
鄂ICP備17016276號-1