2022年2022年離散數(shù)學(xué)試卷與答案

1、精選學(xué)習(xí)資料 - - - 歡迎下載離散數(shù)學(xué)試卷（四）一.填空10%（每道題2 分）1. 如 p, q,為二命題,pq 真值為 0 當(dāng)且僅當(dāng)；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載2. 命題“對(duì)于任意給定的正實(shí)數(shù),都存在比它大的實(shí)數(shù)”令 fx ：x 為實(shí)數(shù),l x、y : xy精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載就命題的規(guī)律謂詞公式為；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載3. 謂詞合式公式xp xxq x 的前束范式為；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載4. 將量詞轄域中顯現(xiàn)的和指導(dǎo)變?cè)粨Q為另一變?cè)?hào),公式其余的部分不變,這種方法稱為換名規(guī)章；5. 設(shè)

2、 x 為謂詞合式公式a 的一個(gè)客體變?cè)?a 的論域?yàn)閐, ax 關(guān)于 y 為自由的,就被稱為存在量詞消去規(guī)章,記為es；二.挑選25%（每道題2.5 分）1. 以下語(yǔ)句為命題的有（）；a. 明年中秋節(jié)的晚上為晴天；b. xy0 ；c. xy0 當(dāng)且僅當(dāng)x 和 y 都大于 0； d.我正在說謊；2. 以下各命題中真值為真的命題有（）；a. 2+2=4 當(dāng)且僅當(dāng)3 為奇數(shù)； b.2+2=4 當(dāng)且僅當(dāng)3 不為奇數(shù)；c. 2+24 當(dāng)且僅當(dāng)3 為奇數(shù)；d.2+2 4 當(dāng)且僅當(dāng)3 不為奇數(shù)；3. 以下符號(hào)串為合式公式的有（）精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載a . pq；b . ppq；c.

3、 pqpq ；d .pq ；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載4. 以下等價(jià)式成立的有（）；a . pqqp； b . p prr；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載c.p pq q ；d. pqrpq r ；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載5. 如a1 、 a2an 和 b 為 wff ,且 a1a2anb 就（）；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載a .稱 a1a2an 為 b 的前件；b .稱 b 為 a1 、 a2an 的有效結(jié)論精品學(xué)習(xí)資料精選

4、學(xué)習(xí)資料 - - - 歡迎下載24精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載離散數(shù)學(xué)試卷（四）精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載c.當(dāng)且僅當(dāng)a1a2anbf ；d .當(dāng)且僅當(dāng)a1a2anbf ；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載6. a , b 為二合式公式,且ab ,就（）；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載a . ab 為重言式；b .a*b * ；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載c. ab ；d .a*b *；e . ab 為重言式；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載7. “人

5、總為要死的”謂詞公式表示為（）；（論域?yàn)槿倐€(gè)體域）mx ：x 為人； mortalx ： x 為要死的；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載a . mxmortal x ；b . mxmortal x精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載c.xmxmortalx ； d .xmxmortal x精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載8. 公式 ax p xq x 的說明 i 為：個(gè)體域d=2 , px ： x>3、qx ： x=4 就 a 的精品學(xué)習(xí)資料精選學(xué)習(xí)資料 -

6、 - - 歡迎下載真值為（）；a .1；b .0；c.可滿意式；d.無法判定； 9. 以下等價(jià)關(guān)系正確選項(xiàng)（）；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載a .xp xq xxp xxq x ；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載b.x p xq xxp xxq x ；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載c.xp xqxp xq ；d.xpxqxpxq ；10.以下推理步驟錯(cuò)在（）；xf xg xp精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載 f yg yus精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載xf xp精品學(xué)習(xí)

7、資料精選學(xué)習(xí)資料 - - - 歡迎下載 f yes精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載 g yt i精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載xgxeg精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載a .； b.； c.； d .25精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載離散數(shù)學(xué)試卷（四）三.規(guī)律判定 30%精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載1. 用等值演算法和真值表法判定公式a pq qp pq的類型；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載（10 分）2. 以

8、下問題,如成立請(qǐng)證明,如不成立請(qǐng)舉出反例：（ 10 分）精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載（ 1）已知 acbc ,問 ab 成立嗎？精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載（ 2）已知ab ,問 ab 成立嗎？精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載3. 假如廠方拒絕增加工資,那么罷工就不會(huì)停止,除非罷工超過一年并且工廠撤換了廠長(zhǎng)；問：如廠方拒絕增加工資,面罷工剛開頭,罷工為否能夠停止；（ 10 分）四.運(yùn)算 10%1. 設(shè)命題 a 1,a 2 的真值為 1, a 3, a 4 真值為 0,求命題精品學(xué)習(xí)資料精選學(xué)習(xí)資料

9、- - - 歡迎下載 a1 a2 a3a1 a2a4 的真值；（ 5 分）精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載2. 利用主析取范式,求公式pq qr 的類型；（ 5 分）精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載五.謂詞規(guī)律推理15%符號(hào)化語(yǔ)句： “有些人喜愛全部的花,但為人們不喜愛雜草,那么花不為雜草”；并推證其結(jié)論；六.證明：（ 10% ）精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載設(shè)論域 d=a 、 b 、 c ,求證：xa xxb xxaxb x ；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載一. 填空10% （每道題2

10、分）精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載1 . p 真 值為1 , q的真值為0 ； 2 .xf xl x、0yf yl y、 x； 3 .精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載xp xq x； 4.約束變?cè)?5.xa xa y ,y 為 d 的某些元素；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載二. 挑選25% （每道題2.5 分）題目1234567891026精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載離散數(shù)學(xué)試卷（四）答案a、ca、dc、da、db、ca、b、c、d、ecab4三. 規(guī)律判定30%1.（ 1） 等值演

11、算法精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載a pqqp pq pq pqt精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載（ 2） 真值表法pqpqqppq qp pqa1111111100100101100010011111所以 a 為重言式；2.（ 1）不成立；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載如取 ct就attbtt 有 acbct精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載但 a 與 b 不肯定等價(jià),可為任意不等價(jià)的公式；（ 2）成立；證明：ab充要條件abt精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載ta即：bab) bab a) a ab b) babaab精

12、品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載所以 abt故ab ；精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載3.解：設(shè)p：廠方拒絕增加工資；q：罷工停止；r 罷工超壺過一年；r：撤換廠長(zhǎng)精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載前提： prsq 、p、r結(jié)論：q精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載 prsq p pp精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載 rsqt i精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載27精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載離散數(shù)學(xué)試卷（四）rp精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡

13、迎下載rst i精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載 rst e精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載qt i罷工不會(huì)停止為有效結(jié)論；四.運(yùn)算10%精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載1. 解：1101001111110111精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載 pq qrp2.pq qrpqqrqqrf精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載它無成真賦值,所以為沖突式；五.謂詞規(guī)律推理15%精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載解： mx : x為人

14、;f x: x為花;g x : x為雜草 ;h x、 y: x喜愛y精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載x m xy f yh x、 yx m xyg yh x、y精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載x f xg x證明：精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載xm xyf yh x、 yp精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載 m a yf yh a、yes精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載 m at i精品學(xué)

15、習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載y f yh a、yt i精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載xm xyg yh x、 yp精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載 m a yg yh a、 yus精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載yg yh a 、 yt i精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載yh a、 yg yt e精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載28精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載離散數(shù)學(xué)試卷（四）精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載 f zh a 、 zus精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載 h a、 zg zus精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載 f zg zt i精品學(xué)習(xí)資料精選學(xué)習(xí)資料 - - - 歡迎下載精品學(xué)