歡迎來到裝配圖網(wǎng)! | 幫助中心 裝配圖網(wǎng)zhuangpeitu.com!
裝配圖網(wǎng)
ImageVerifierCode 換一換
首頁 裝配圖網(wǎng) > 資源分類 > DOC文檔下載  

離散數(shù)學(屈婉玲版)第二章習題答案

  • 資源ID:10430405       資源大小:104KB        全文頁數(shù):5頁
  • 資源格式: DOC        下載積分:15積分
快捷下載 游客一鍵下載
會員登錄下載
微信登錄下載
三方登錄下載: 支付寶登錄   QQ登錄   微博登錄  
二維碼
微信掃一掃登錄
下載資源需要15積分
郵箱/手機:
溫馨提示:
用戶名和密碼都是您填寫的郵箱或者手機號,方便查詢和重復下載(系統(tǒng)自動生成)
支付方式: 微信支付   
驗證碼:   換一換

 
賬號:
密碼:
驗證碼:   換一換
  忘記密碼?
    
友情提示
2、PDF文件下載后,可能會被瀏覽器默認打開,此種情況可以點擊瀏覽器菜單,保存網(wǎng)頁到桌面,就可以正常下載了。
3、本站不支持迅雷下載,請使用電腦自帶的IE瀏覽器,或者360瀏覽器、谷歌瀏覽器下載即可。
4、本站資源下載后的文檔和圖紙-無水印,預覽文檔經(jīng)過壓縮,下載后原文更清晰。
5、試題試卷類文檔,如果標題沒有明確說明有答案則都視為沒有答案,請知曉。

離散數(shù)學(屈婉玲版)第二章習題答案

2.13 設解釋I為:個體域DI ={-2,3,6},一元謂詞F(X):X3,G(X):X>5,R(X):X7。在I下求下列各式的真值。 (1)"x(F(x)G(x)) 解:"x(F(x)G(x)) (F(-2) G(-2)) (F(3) G(3)) (F(6) G(6)) ((-23) (-2>5)) ((33) (3>5)) ((63) (6<5)) ((1 0))((1 0)) ((0 0)) 000 0 (2) "x(R(x)F(x))G(5) 解:"x(R(x)F(x))G(5) (R(-2)F(-2)) (R(3)F(3)) (R(6)F(6)) G(5) ((-27) (-23)) (( 37) (33)) (( 67) (63)) (5>5) (1 1) (1 1) (10) 0 1 1 0 0 0 (3)$x(F(x)G(x)) 解:$x(F(x)G(x)) (F(-2) G(-2)) (F(3) G(3)) (F(6) G(6)) ((-23) (-2>5)) ((33) (3>5)) ((63) (6>5)) (1 0) (1 0) (0 1) 1 1 1 1 2.14 求下列各式的前束范式,要求使用約束變項換名規(guī)則。 (1)xF(x)→yG(x,y) (2) (xF(x,y) yG(x,y) ) 解:(1) xF(x)→yG(x,y) xF(x)→ yG(z,y) 代替規(guī)則 xF(x)→yG(z,y) 定理2.1(2 ) x(F(x) →yG(z,y) 定理2.2(2)③ xy(F(x) →G(z,y)) 定理2.2(1)④ (2) (xF(x,y) yG(x,y) ) (zF(z,y) tG(x,t)) 換名規(guī)則 (zF(z,y) )(tG(x,t) ) zF(z,y) tG(x,z) z (F(z,y) tG(x,z)) z t(F(z,y) G(x,t)) 2.15 求下列各式的前束范式,要求使用自由變項換名規(guī)則。(代替規(guī)則) (1) "xF(x)∨$yG(x,y) "xF(x) ∨$yG(z,y) 代替規(guī)則 "x(F(x) ∨$yG(z,y)) 定理2.2(1)① "x$y(F(x) ∨G(z,y)) 定理2.2(2)① (2) $x(F(x) ∧"yG(x,y,z)) →$zH(x,y,z) $x(F(x) ∧"yG(x,y,t)) →$zH(s,r,z) 代替規(guī)則 $x"y (F(x) ∧G(x,y,t)) →$zH(s,r,z) 定理2.2(1)② "x("y (F(x) ∧G(x,y,t)) →$zH(s,r,z)) 定理2.2(2)③ "x$y((F(x) ∧G(x,y,t)) →$zH(s,r,z)) 定理2.2(1)③ "x$y$z((F(x) ∧G(x,y,t)) →H(s,r,z)) 定理2.2(2)④ 2.17構造下面推理的證明。 (1) 前提 :$xF(x)→"y((F(y)∨G(y))→R(y)) $xF(x) 結(jié)論:$xR(x) 證明:① $xF(x) 前提引入 ② F(c) EI ③ "y((F(y)∨G(y))→R(y)) 前提引入錯了 ④ F(c)∨G(c) →R(c) UI ⑤ F(c)→(F(c)∨G(c) →R(c)) 前提引入錯了 ⑥ F(c)∨G(c) →R(y) 假言推理②⑤ ⑦ R(c) 假言推理②⑥ $xR(x) EG 應改為: ① $xF(x) 前提引入 ② $xF(x)→"y((F(x)∨G(y))→R(y)) 前提引入 ③ "y((F(x)∨G(y))→R(y)) ①②假言推理 ④ F(c) ①EI ⑤ F(c)∨G(c) →R(c) ③UI ⑥ F(c)∨G(c) ④附加 ⑦ R(c) ⑤⑥假言推理 ⑧ $xR(x) ⑦EG (2)前提:"x(F(x)→(G(y) R(x))),$xF(x). 結(jié)論:$x(F(x)R(x)). 證明: ①$xF(x) 前提引入 ②F(c) ①EI ③"x(F(x)→(G(y) R(x))) 前提引入 ④F(c)→(G(c) R(c)) ③UI ⑤G(c) R(c) ②④假言推理 ⑥R(c) ⑤化簡 ⑦F(c)R(c) ②⑥合取 ⑧$x(F(x)R(x)) ⑦EG 2.18在一階邏輯中構造下面推理的證明。 大熊貓都產(chǎn)在中國,歡歡是大熊貓。所以,歡歡產(chǎn)在中國。 解: 將命題符號化. F(x):x是大熊貓. G(x):x產(chǎn)在中國. a: 歡歡. 前提: x(F(x )→G(x)),F(a), 結(jié)論: G(a) 證明: ①x(F(x )→G(x)), 前提引入; ②F(a)→G(a)   ?、賣I; ③F(a) 前提引入 ④G(a) ② ③ 假言推理 2.19在一階邏輯中構造下面推理的證明。 有理數(shù)都是實數(shù),有的有理數(shù)是整數(shù)。因此,有的實數(shù)是整數(shù)。 設全總個體域為數(shù)的集合 F(x):x是有理數(shù) G(x):x是實數(shù) H(x):x是整數(shù) 前提:x(F(x)→G(x)) x(F(x)∧H(x)) 結(jié)論:x(G(x)∧H(x)) 證明:① x(F(x)∧H(x)) 前提引入 ② F(c)∧H(C) ①EI規(guī)則 ③ x(F(x)→G(x)) 前提引入 ④ F(c)→G(c) ③UI規(guī)則 ⑤ F(c) ②化簡 ⑥ G(c) ④⑤假言推理 ⑦ H(c) ②化簡 ⑧ G(c)∧H(c) ⑥⑦合取 ⑨ $x(G(x)∧H(x)) ⑧EG規(guī)則 2.23一階邏輯中構造下面推理的證明。 每個喜歡步行的人都不喜歡坐汽車。每個人或者喜歡坐汽車或者喜歡騎自行車。有的人不喜歡騎自行車。因而有的人不喜歡步行(個體域為人類集合)。 命題符號化:F(x): x喜歡步行。G(x):x喜歡坐汽車。H(x): x喜歡騎自行車。 前提:"x(F(x) →G(x)), "x(G(x)∨H(x)), x(H(x)). 結(jié)論:x(F(x)) 證明 a x(H(x)) 前提引入 b H(c) c "x(G(x) ∨H(x)) 前提引入 d G(c) ∨H(c) e G(c) f "x(F(x) →G(x)) 前提引入 g F(c) →G(c)) f UI h F(c) i x(F(x)) h EG 在上述推理中,b后面的推理規(guī)則為A,d后面的規(guī)則為B,e后用的是由b,d得到的推理規(guī)則C,h后用的是由e,g得到的推理規(guī)則D. 供選擇的答案 A,B,C,D:1 UI 2:EI 3UG 4 EG 5拒取式 6 假言推理 7析取三段論 A為2 B為1 C為7 D為5 ,

注意事項

本文(離散數(shù)學(屈婉玲版)第二章習題答案)為本站會員(gbs****77)主動上傳,裝配圖網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對上載內(nèi)容本身不做任何修改或編輯。 若此文所含內(nèi)容侵犯了您的版權或隱私,請立即通知裝配圖網(wǎng)(點擊聯(lián)系客服),我們立即給予刪除!

溫馨提示:如果因為網(wǎng)速或其他原因下載失敗請重新下載,重復下載不扣分。




關于我們 - 網(wǎng)站聲明 - 網(wǎng)站地圖 - 資源地圖 - 友情鏈接 - 網(wǎng)站客服 - 聯(lián)系我們

copyright@ 2023-2025  zhuangpeitu.com 裝配圖網(wǎng)版權所有   聯(lián)系電話:18123376007

備案號:ICP2024067431-1 川公網(wǎng)安備51140202000466號


本站為文檔C2C交易模式,即用戶上傳的文檔直接被用戶下載,本站只是中間服務平臺,本站所有文檔下載所得的收益歸上傳人(含作者)所有。裝配圖網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對上載內(nèi)容本身不做任何修改或編輯。若文檔所含內(nèi)容侵犯了您的版權或隱私,請立即通知裝配圖網(wǎng),我們立即給予刪除!