離散數(shù)學(xué)屈婉玲版習(xí)題答案

1、2.13 設(shè)解釋I為：個(gè)體域DI =-2,3,6,一元謂詞F（X）：X£3，G（X）：X>5,R(X):X£7。在I下求下列各式的真值。（1）"x(F(x)ÙG(x) 解："x(F(x)ÙG(x)Û(F(-2) ÙG(-2) Ù(F(3) ÙG(3) Ù(F(6) ÙG(6)Û(-2£3) Ù(-2>5) Ù(3£3) Ù(3>5) Ù(6£3) Ù(6<5)&#

2、219;(1 Ù0)Ù(1 Ù0) Ù(0 Ù0)Û0Ù0Ù0Û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)Û(-2£7) ®(-2£3)Ù ( 3£7) ®(3£3)

3、17; ( 6£7) ®(6£3) Ú (5>5)Û(1 ®1)Ù (1 ®1)Ù (1®0) Ú 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)Û(-2£3) Ú (-2>5) Ú

4、; (3£3) Ú (3>5) Ú (6£3) Ú (6>5)Û(1 Ú 0) Ú (1 Ú 0) Ú (0 Ú 1)Û1 Ú 1 Ú 1Û12.14 求下列各式的前束范式，要求使用約束變項(xiàng)換名規(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

5、（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 求下列各式的前束范式，要求使用自由變項(xiàng)換名規(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)）

6、定理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）

7、2.17構(gòu)造下面推理的證明。（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) 前提引入錯(cuò)了 F（c）G(c) R(c) UI F（c）(F（c）G(c) R(c) 前提引入錯(cuò)了 F（c）G(c) R(y) 假言推理 R(c) 假言推理$xR(x) EG應(yīng)改為： $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）

8、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) 化簡(jiǎn) F(c)ÙR(c) 合取 $x(F(x)ÙR(x) EG2.18在一階邏輯中構(gòu)造下面推理的證明。大熊貓都產(chǎn)在中國，歡歡是大熊貓。所以，歡歡產(chǎn)在中國。解： 將命題符號(hào)化. F

9、(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)uI;F(a) 前提引入G(a) 假言推理 2.19在一階邏輯中構(gòu)造下面推理的證明。有理數(shù)都是實(shí)數(shù)，有的有理數(shù)是整數(shù)。因此，有的實(shí)數(shù)是整數(shù)。設(shè)全總個(gè)體域?yàn)閿?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)證明： x(F(x)H(x) 前提引入 F（c）H（C） EI規(guī)則 x(F(x)G(x) 前提引入 F（c）G（c） UI

10、規(guī)則 F（c） 化簡(jiǎn) G（c） 假言推理 H（c） 化簡(jiǎn) G（c）H（c） 合取 $x（G（x）H（x） EG規(guī)則2.23一階邏輯中構(gòu)造下面推理的證明。每個(gè)喜歡步行的人都不喜歡坐汽車。每個(gè)人或者喜歡坐汽車或者喜歡騎自行車。有的人不喜歡騎自行車。因而有的人不喜歡步行（個(gè)體域?yàn)槿祟惣希Ｃ}符號(hào)化：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