離散數(shù)學(xué)及其應(yīng)用數(shù)理邏輯部分課后習(xí)題答案-文庫吧資料
2025-07-04 20:51本頁面
【正文】 下面推理：（1）前提： 結(jié)論： 證明： ① 附加前提引入 ② 前提引入 ③ ①②假言推理 ④ 前提引入 ⑤ ③④假言推理 ⑥ 前提引入 ⑦ ⑤⑥假言推理1在自然推理系統(tǒng)P中用歸謬法證明下面推理：（1）前提： 結(jié)論： 證明： ① 結(jié)論否定引入 ② ①置換 ③ ②化簡 ④ ②化簡 ⑤ 前提引入 ⑥ 前提引入 ⑦ ④⑤拒取式 ⑧ ③⑥拒取式 ⑨ ⑦⑧合取 ⑩ ⑨置換 前提引入⑩矛盾。解答：命題符號化：a為奇數(shù)；a為偶數(shù)；a能被2整除推理的形式結(jié)構(gòu)：前提：；；結(jié)論：推理的形式結(jié)構(gòu)的另外一種描述：證明：（1）真值表法：000111101001101101010111001011101111100011101101000101110011001111000101所以為永真式；推理是正確的。若a是偶數(shù)，則a能被2整除。P50:習(xí)題三用3種方法（真值表、等值演算、主析取范式）證明下面推理是正確的。所滿足的條件即為（1）若趙去，錢也去：；（2）李、周兩人中必有一人去：；（3）錢、孫兩人中去且僅去一人：；（4）孫、李兩人同去或同不去：；（5）若周去，則趙、錢也同去：。用等值演算法分析該公司該如何選派他們出國。某公司要從趙、錢、孫、李、周5名新畢業(yè)的大學(xué)生中選派一些人出國學(xué)習(xí)。問王小紅、李強、丁金生各任何職？（用等值演算求解）
電大資料相關(guān)推薦
鄂ICP備17016276號-1