




版權(quán)說(shuō)明:本文檔由用戶(hù)提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、06任務(wù)_0001試卷總分:100 測(cè)試時(shí)間:0單項(xiàng)選擇題 一、單項(xiàng)選擇題(共 10 道試題,共 100 分。)1. 命題公式的析取范式是( ) A. B. C. D. 2. 設(shè)個(gè)體域?yàn)檎麛?shù)集,則公式"x$y(x+y=0)的解釋可為( )A. 存在一整數(shù)x有整數(shù)y滿(mǎn)足x+y=0 B. 任一整數(shù)x對(duì)任意整數(shù)y滿(mǎn)足x+y=0C
2、. 對(duì)任一整數(shù)x存在整數(shù)y滿(mǎn)足x+y=0D. 存在一整數(shù)x對(duì)任意整數(shù)y滿(mǎn)足x+y=03. 下列公式成立的為( ) A. ØPÙØQ Û PÚQB. P®ØQ Û ØP®QC. Q®P Þ PD. ØPÙ(PÚQ)ÞQ4. 下列公式中 ( )為永真式 A. ØAÙØB « ØAÚØBB. ØAÙØ
3、B « Ø(AÚB)C. ØAÙØB « AÚBD. ØAÙØB « Ø(AÙB)5. 設(shè)P:我將去打球,Q:我有時(shí)間命題“我將去打球,僅當(dāng)我有時(shí)間時(shí)”符號(hào)化為( ) A. B. C. D. 6. 命題公式(PÚQ)®R的析取范式是 ( ) A. Ø(PÚQ)ÚRB. (PÙQ)ÚRC. (PÚQ)ÚRD. (ØP
4、ÙØQ)ÚR7. 命題公式(PÚQ)的合取范式是 ( ) A. (PÙQ)B. (PÙQ)Ú(PÚQ)C. (PÚQ)D. Ø(ØPÙØQ)8. 設(shè)命題公式G:,則使公式G取真值為1的P,Q,R賦值分別是 ( ) A. 0, 0, 0B. 0, 0, 1C. 0, 1, 0D. 1, 0, 09. 命題公式P®Q的主合取范式是( ) A. (PÚQ
5、)Ù(PÚØQ)Ù(ØPÚØQ)B. ØPÙQC. ØPÚQD. PÚØQ10. 下列等價(jià)公式成立的為( ) A. ØPÙP ÛØQÙQB. ØQ®PÛP®QC. PÙQÛPÚQ D. ØPÚP ÛQ06任務(wù)_0002試卷總分:100
6、 測(cè)試時(shí)間:0單項(xiàng)選擇題 一、單項(xiàng)選擇題(共 10 道試題,共 100 分。)1. 命題公式(PÚQ)®Q為( ) A. 矛盾式B. 可滿(mǎn)足式C. 重言式D. 合取范式2. 設(shè)個(gè)體域?yàn)檎麛?shù)集,則公式"x$y(x+y=0)的解釋可為( )A. 存在一整數(shù)x有整數(shù)y滿(mǎn)足x+y=0
7、0; B. 任一整數(shù)x對(duì)任意整數(shù)y滿(mǎn)足x+y=0C. 對(duì)任一整數(shù)x存在整數(shù)y滿(mǎn)足x+y=0D. 存在一整數(shù)x對(duì)任意整數(shù)y滿(mǎn)足x+y=03. 命題公式的析取范式是( ) A. B. C. D. 4. 下列等價(jià)公式成立的為( ) A. ØPÙP ÛØQÙQB. ØQ®PÛP®QC. PÙQÛPÚQ D. ØPÚP ÛQ5. 設(shè)命題公式G:,則使公式G
8、取真值為1的P,Q,R賦值分別是 ( ) A. 0, 0, 0B. 0, 0, 1C. 0, 1, 0D. 1, 0, 06. 在謂詞公式("x)(A(x)B(x)ÚC(x,y)中,( ) A. x,y都是約束變?cè)狟. x,y都是自由變?cè)狢. x是約束變?cè)瑈都是自由變?cè)狣. x是自由變?cè)?,y都是約束變?cè)?. 命題公式P®Q的主合取范式是( ) A. (PÚQ)Ù(PÚØQ)Ù(ØPÚØQ)B. Ø
9、PÙQC. ØPÚQD. PÚØQ8. 設(shè)A(x):x是人,B(x):x是教師,則命題“有人是教師”可符號(hào)化為( )A. Ø(x)(A(x)ÙØB(x)B. ("x)(A(x)ÙB(x)C. Ø("x)(A(x)®B(x)D. (x)(A(x)ÙB(x)9. 設(shè)P:我將去打球,Q:我有時(shí)間命題“我將去打球,僅當(dāng)我有時(shí)間時(shí)”符號(hào)化為( ) A. B. C. D. 10
10、. 命題公式(PÚQ)®R的析取范式是 ( ) A. Ø(PÚQ)ÚRB. (PÙQ)ÚRC. (PÚQ)ÚRD. (ØPÙØQ)ÚR06任務(wù)_0003試卷總分:100 測(cè)試時(shí)間:0單項(xiàng)選擇題 一、單項(xiàng)選擇題(共 10 道試題,共 100 分。)1. 設(shè)P:我將去打球,Q:我有時(shí)間命題“我將去打球,僅當(dāng)我有時(shí)間時(shí)”符號(hào)化為
11、( ) A. B. C. D. 2. 下列公式成立的為( ) A. ØPÙØQ Û PÚQB. P®ØQ Û ØP®QC. Q®P Þ PD. ØPÙ(PÚQ)ÞQ3. 下列公式 ( )為重言式 A. ØPÙØQ«PÚQB. (Q®(PÚQ) «(ØQÙ(PÚQ)C. (P®
12、(ØQ®P)«(ØP®(P®Q)D. (ØPÚ(PÙQ) «Q4. 命題公式(PÚQ)®R的析取范式是 ( ) A. Ø(PÚQ)ÚRB. (PÙQ)ÚRC. (PÚQ)ÚRD. (ØPÙØQ)ÚR5. 命題公式P®Q的主合取范式是( ) A. (PÚQ)Ù(P
13、ÚØQ)Ù(ØPÚØQ)B. ØPÙQC. ØPÚQD. PÚØQ6. 在謂詞公式("x)(A(x)B(x)ÚC(x,y)中,( ) A. x,y都是約束變?cè)狟. x,y都是自由變?cè)狢. x是約束變?cè)?,y都是自由變?cè)狣. x是自由變?cè)?,y都是約束變?cè)?. 下列公式中 ( )為永真式 A. ØAÙØB « ØAÚØBB. ØAÙ
14、;ØB « Ø(AÚB)C. ØAÙØB « AÚBD. ØAÙØB « Ø(AÙB)8. 設(shè)A(x):x是書(shū),B(x):x是數(shù)學(xué)書(shū),則命題“不是所有書(shū)都是數(shù)學(xué)書(shū)”可符號(hào)化為( ) A. ("x)(A(x)B(x) B. Ø(x)(A(x)ÙB(x)C. ("x)(A(x)B(x)D. Ø(x)(A(x)ÙØB(x)9.
15、 設(shè)個(gè)體域D=a, b, c,那么謂詞公式消去量詞后的等值式為 A. (A(a)ÚA(b)ÚA(c)Ú(B(a)ÙB(b)ÙB(b)B. (A(a)ÙA(b)ÙA(c)Ú(B(a)ÚB(b)ÚB(b)C. (A(a)ÚA(b)ÚA(c)Ú(B(a)ÚB(b)ÚB(b)D. (A(a)ÙA(b)ÙA(c)Ú(B(a)ÙB(b)ÙB(b)10. 前提條件的有
16、效結(jié)論是( ) A. PB. ØPC. QD. ØQ06任務(wù)_0004試卷總分:100 測(cè)試時(shí)間:0單項(xiàng)選擇題 一、單項(xiàng)選擇題(共 10 道試題,共 100 分。)1. 下列公式成立的為( ) A. ØPÙØQ Û PÚQB. P®ØQ Û ØP®QC. Q®P Þ PD. ØPÙ(PÚQ)ÞQ
17、2. 命題公式(PÚQ)®R的析取范式是 ( ) A. Ø(PÚQ)ÚRB. (PÙQ)ÚRC. (PÚQ)ÚRD. (ØPÙØQ)ÚR3. 設(shè)A(x):x是人,B(x):x是教師,則命題“有人是教師”可符號(hào)化為( )A. Ø(x)(A(x)ÙØB(x)B. ("x)(A(x)ÙB(x)C. Ø("x)(A(x)
18、74;B(x)D. (x)(A(x)ÙB(x)4. 下列公式 ( )為重言式 A. ØPÙØQ«PÚQB. (Q®(PÚQ) «(ØQÙ(PÚQ)C. (P®(ØQ®P)«(ØP®(P®Q)D. (ØPÚ(PÙQ) «Q5. 表達(dá)式中的轄域是( ) A. P(x, y)B. P(x, y)ÚQ(z)C.
19、 R(x, y)D. P(x, y)ÙR(x, y)6. 命題公式(PÚQ)的合取范式是 ( ) A. (PÙQ)B. (PÙQ)Ú(PÚQ)C. (PÚQ)D. Ø(ØPÙØQ)7. 下列等價(jià)公式成立的為( ) A. ØPÙP ÛØQÙQB. ØQ®PÛP®QC. PÙQÛPÚQ D.
20、ØPÚP ÛQ8. 在謂詞公式("x)(A(x)B(x)ÚC(x,y)中,( ) A. x,y都是約束變?cè)狟. x,y都是自由變?cè)狢. x是約束變?cè)瑈都是自由變?cè)狣. x是自由變?cè)?,y都是約束變?cè)?. 命題公式(PÚQ)®Q為( ) A. 矛盾式B. 可滿(mǎn)足式C. 重言式D. 合取范式10. 設(shè)個(gè)體域D=a, b, c,那么謂詞公式消去量詞后的等值式為 A. (A(a)ÚA(b)Ú
21、;A(c)Ú(B(a)ÙB(b)ÙB(b)B. (A(a)ÙA(b)ÙA(c)Ú(B(a)ÚB(b)ÚB(b)C. (A(a)ÚA(b)ÚA(c)Ú(B(a)ÚB(b)ÚB(b)D. (A(a)ÙA(b)ÙA(c)Ú(B(a)ÙB(b)ÙB(b)06任務(wù)_0005試卷總分:100 測(cè)試時(shí)間:0單項(xiàng)選擇題 一、單項(xiàng)選擇題(共 10 道試題
22、,共 100 分。)1. 命題公式P®Q的主合取范式是( ) A. (PÚQ)Ù(PÚØQ)Ù(ØPÚØQ)B. ØPÙQC. ØPÚQD. PÚØQ2. 設(shè)個(gè)體域D是整數(shù)集合,則命題"x$y (x×y = y)的真值是( ) A. TB. F
23、160; C. 不確定D. 以上說(shuō)法都不是3. 命題公式的析取范式是( ) A. B. C. D. 4. 設(shè)P:我將去打球,Q:我有時(shí)間命題“我將去打球,僅當(dāng)我有時(shí)間時(shí)”符號(hào)化為( ) A. B. C. D. 5. 設(shè)個(gè)體域?yàn)檎麛?shù)集,則公式"x$y(x+y=0)的解釋可為( )A. 存在一整數(shù)x有整數(shù)y滿(mǎn)足x+y=0 B. 任一整數(shù)x對(duì)任意整數(shù)y滿(mǎn)足x+y=0C. 對(duì)任一整數(shù)x存在整數(shù)y滿(mǎn)足x+y=0D. 存在一整數(shù)x對(duì)任意整數(shù)y滿(mǎn)足x+y=06. 命題公式(PÚQ)®R的析取范式是 ( ) A. Ø(PÚQ)ÚRB. (PÙQ)ÚRC. (PÚQ)ÚRD. (ØPÙØQ)ÚR7. 下列公式成立的
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶(hù)所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶(hù)上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶(hù)上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶(hù)因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 科研機(jī)構(gòu)勞動(dòng)力激勵(lì)及保障措施
- 《空間幾何與物理應(yīng)用的教學(xué)探討》
- 快樂(lè)的成長(zhǎng)瞬間童年快樂(lè)記事作文9篇
- 日記看牙醫(yī)500字(10篇)
- 九年級(jí)《道德與法治》社會(huì)實(shí)踐計(jì)劃
- 餐飲服務(wù)質(zhì)量提升與實(shí)習(xí)心得范文
- 建筑項(xiàng)目施工進(jìn)度與風(fēng)險(xiǎn)控制措施
- 媒體行業(yè)內(nèi)容創(chuàng)意與傳播方案
- 大自然給我的啟示600字13篇
- 2019-2025年二級(jí)建造師之二建建設(shè)工程施工管理考前沖刺模擬試卷B卷含答案
- 知識(shí)圖譜構(gòu)建與應(yīng)用試題及答案
- 湖北省武漢市2025屆高三五月模擬訓(xùn)練英語(yǔ)試題(含答案無(wú)聽(tīng)力原文及音頻)
- 基因編輯技術(shù)的臨床應(yīng)用與未來(lái)發(fā)展方向-洞察闡釋
- 靜脈輸液不良反應(yīng)應(yīng)急預(yù)案與處理流程
- 《論亞太局勢(shì)》課件
- 基于深度學(xué)習(xí)的日志異常檢測(cè)技術(shù)研究
- 大學(xué)生勞動(dòng)就業(yè)法律問(wèn)題解讀(華東理工大學(xué))智慧樹(shù)知到見(jiàn)面課、章節(jié)測(cè)試、期末考試答案
- 水電站收購(gòu)分析報(bào)告
- 水泥粉助磨劑項(xiàng)目可行性研究報(bào)告發(fā)改委立項(xiàng)模板
- 濟(jì)南公共交通集團(tuán)有限公司招聘筆試題庫(kù)2025
- 工貿(mào)行業(yè)重大安全生產(chǎn)事故隱患判定標(biāo)準(zhǔn)解讀課件
評(píng)論
0/150
提交評(píng)論