離散習(xí)題答案詳解(編輯修改稿)
2025-07-25 20:24 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 2) (F(a)∧ F(b)∧ F (c)) ∨ (G (a)∧G (b)∧G (c)) (3) (F(a)∧ F(b)∧ F (c)) → (G (a)∧G (b)∧G (c)) (4) (F(a ,y) ∨ F(b,y)∨ F (c,y)) → (G (a)∨G (b)∨G (c))：先消去量詞，后求真值，注意，本題3個(gè)小題消去量詞時(shí)，量詞的轄域均不能縮小，經(jīng)過(guò)演算真值分別為：1,0,1 .(1) 的演算如下： xyF(x,y) ?x (F(x,3)∨F(x,4)) ?(F(3,3)∨F(3,4))∧(F(4,3)∨F(4 ,4)) ?1∧1?1，甲錯(cuò)了。本題中，全稱(chēng)量詞 的指導(dǎo)變?cè)獮閤 ，轄域?yàn)?F (x)→G(x,y)),其中F(x )與G(x,y)中的x都是約束變?cè)?，因而不能將量詞的轄域縮小。，應(yīng)用量詞轄域收縮與擴(kuò)張算值式時(shí)丟掉了否定聯(lián)結(jié)詞“ ┐”。演算的第二步，在原錯(cuò)的基礎(chǔ)上又用錯(cuò)了等值式，即 (F(x)∧(G(y)→ H(x,y))) ≠(F(x) ∧G(y)→H (x,y))，下面每題各給出一個(gè)答案?！?1) xy (F(x)→ G(z,y))?！?2) xt (x,y) → G(x,t,z))?！?3) x4 ((F(,y) →G(,y))∧(G(,y) →F(x4,y)))?！?4) ((F()→G(,)) → (H () → L(,)))?！?5) (F(,)→(F() → ┐G (,))).13.(1)xy(F(x) ∧G(y) ∧H(x ,y)),其中，F(xiàn)(x):x是汽車(chē)，G(y)：y是火車(chē)，H(x，y)：x比y跑的快； (2)xy(F(x) ∧G(y)→H(x ,y)),其中，F(xiàn)(x):x是火車(chē)，G(y)：y是汽車(chē)，H(x，y)：x比y跑的快； (3)xy(F(x) ∧G(y) ∧┐H(x ,y)),其中，F(xiàn)(x):x是火車(chē)，G(y)：y是汽車(chē)，H(x，y)：x比y跑的快； (4)xy(F(x) ∧G(y) → ┐H(x ,y)),其中，F(xiàn)(x):x是飛機(jī)，G(y)：y是汽車(chē)，H(x，y)：x比y慢；14.(1)對(duì)F(x) → xG(x)不能使用EI規(guī)則，它不是前束范式，首先化成前束范式?！ (x) → xG(x) = x(F(y)→G(x)) 因?yàn)榱吭~轄域(F(y)→G(x))中，除x外還有自由出現(xiàn)的y，所以不能使用EI規(guī)則?！?(2)對(duì) x F(x) → y G(y)也應(yīng)先化成前束范式才能消去量詞，其前束范式為 x y(F(x) →G(y)),要消去量詞，既要使用UI規(guī)則，又要使用EI規(guī)則?！?(3)在自然推理系統(tǒng)F中EG規(guī)則為 A(c)/∴x(x) 其中c為特定的個(gè)體常項(xiàng)，這里A(y) = F(y) →G(y)不滿足要求。 (4)這里，使F(a)為真的a不一定使G(a)為真，同樣地使G(b)為真的b不一定使F(b)為真，如，F(xiàn)(x):x為奇數(shù)，G(x):x為偶數(shù)，顯然F(3)∧G(4)為真，但不存在使F(x)∧G(x)為真的個(gè)體?！?(5)這里c為個(gè)體常項(xiàng)，不能對(duì)F(c)→G(c)引入全稱(chēng)量詞。15.(1)證明：①xF(x) 前提引入 ②xF(x)→ y((F(y)∨G(y)) →R(y)) 前提引入 ?、踶((F(y)∨G(y)) →R(y) ?、佗诩傺酝评怼 、蹻(c) ?、貳I ?、?F(c)∨G(c))→R(c) ③UI ?、轋(c)∨G(c) ④附加 ?、逺(c) ⑤⑥假言推理 ⑧xR(x) ?、逧G(2)證明①xF(x) 前提引入 ②x((F(x)→G(a)∧R(x))) 前提引入 ?、跢(c) ①EI ④F(c)→G(a)∧R(a) ?、赨I ⑤G(a)∧R(c) ?、邰芗傺酝评怼 、轗(c) ⑤化簡(jiǎn) ?、逨(c)∧R(c) ③⑥合取 ?、鄕(F(x)∧R(x)) ⑦EG(3)證明：①┐xF(x) 前提引入 ?、趚┐F(x) ?、僦脫Q ?、郓碏(c) ②UI ④x(F(x)∨G(x)) 前提引入 ?、軫(c)∨G(c) ④UI ?、轋(c) ③⑤析取三段論 ?、選F(x) ?、轊G(4)證明①x(F(x)∨G(x)) 前提引入 ②F(y)∨G(y) ①UI ?、踴(┐G(x)∨┐R(x)) 前提引入 ④┐G(y)┐R(y) ③UI ?、輝 R(x) 前提引入 ⑥R(y) ⑤UI ?、擤碐(y) ④⑥析取三段論 ⑧F（y） ②⑦析取三段論 ?、醲F(x) ⑧UG17．本題不能用附加前提證明法.20.(1)與(2)均可用附加前提證明法。22.(1)設(shè)F(x)：x為偶數(shù)，G(x):x能被2整除。 前提:x(F(x)→G(x))，F(xiàn)(6) 結(jié)論：G(6)(2)設(shè)F(x)：x是大學(xué)生，G(x):x是勤奮的，a：王曉山?！ ∏疤?x(F(x)→G(x))，┐G(a) 結(jié)論：┐F(a)23.(1)設(shè)F(x)：x是有理數(shù)，G(x):x是實(shí)數(shù)，H(x)：x是整數(shù)。 前提:x( F(x)→G(x))， x(F(x)∧H(x)) 結(jié)論:x(G(x)∧H(x)) 證明提示：先消存在量詞。(2)設(shè)F(x)：x是有理數(shù)，G(x):x是無(wú)理數(shù)，H(x)：x是實(shí)數(shù)，I(x)：x是虛數(shù)?！ ∏疤?x((F(x)∨G(x)) →H(x))， x( I(x)→┐H(x)) 結(jié)論:x(I(x)→(┐F(x)∧┐G(x))) 證明①x(I(x)→(┐H(x)) 前提引入 ?、贗(y)→H(y) ①UI ③x((F(x)∨G(x))→H(x)) 前提引入 ?、?F(y)∨G(y))→H(y) ③UI ?、荸碒(y)→(┐F(y)∧┐G(y)) ④置換 ?、轎(y)→(┐F(y)∧┐G(y)) ?、冖菁傺匀握摗 、選(I(x)→(
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1