




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)
文檔簡介
1、06任務(wù)_0001試卷總分:100 測試時間:0單項選擇題 一、單項選擇題(共 10 道試題,共 100 分。)1. 命題公式的析取范式是( ) A. B. C. D. 2. 設(shè)個體域為整數(shù)集,則公式"x$y(x+y=0)的解釋可為( )A. 存在一整數(shù)x有整數(shù)y滿足x+y=0 B. 任一整數(shù)x對任意整數(shù)y滿足x+y=0C
2、. 對任一整數(shù)x存在整數(shù)y滿足x+y=0D. 存在一整數(shù)x對任意整數(shù)y滿足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:我有時間命題“我將去打球,僅當(dāng)我有時間時”符號化為( ) 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. 下列等價公式成立的為( ) A. ØPÙP ÛØQÙQB. ØQ®PÛP®QC. PÙQÛPÚQ D. ØPÚP ÛQ06任務(wù)_0002試卷總分:100
6、 測試時間:0單項選擇題 一、單項選擇題(共 10 道試題,共 100 分。)1. 命題公式(PÚQ)®Q為( ) A. 矛盾式B. 可滿足式C. 重言式D. 合取范式2. 設(shè)個體域為整數(shù)集,則公式"x$y(x+y=0)的解釋可為( )A. 存在一整數(shù)x有整數(shù)y滿足x+y=0
7、0; B. 任一整數(shù)x對任意整數(shù)y滿足x+y=0C. 對任一整數(shù)x存在整數(shù)y滿足x+y=0D. 存在一整數(shù)x對任意整數(shù)y滿足x+y=03. 命題公式的析取范式是( ) A. B. C. D. 4. 下列等價公式成立的為( ) 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都是約束變元B. x,y都是自由變元C. x是約束變元,y都是自由變元D. x是自由變元,y都是約束變元7. 命題公式P®Q的主合取范式是( ) A. (PÚQ)Ù(PÚØQ)Ù(ØPÚØQ)B. Ø
9、PÙQC. ØPÚQD. PÚØQ8. 設(shè)A(x):x是人,B(x):x是教師,則命題“有人是教師”可符號化為( )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:我有時間命題“我將去打球,僅當(dāng)我有時間時”符號化為( ) 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 測試時間:0單項選擇題 一、單項選擇題(共 10 道試題,共 100 分。)1. 設(shè)P:我將去打球,Q:我有時間命題“我將去打球,僅當(dāng)我有時間時”符號化為
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都是約束變元B. x,y都是自由變元C. x是約束變元,y都是自由變元D. x是自由變元,y都是約束變元7. 下列公式中 ( )為永真式 A. ØAÙØB « ØAÚØBB. ØAÙ
14、;ØB « Ø(AÚB)C. ØAÙØB « AÚBD. ØAÙØB « Ø(AÙB)8. 設(shè)A(x):x是書,B(x):x是數(shù)學(xué)書,則命題“不是所有書都是數(shù)學(xué)書”可符號化為( ) 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è)個體域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 測試時間:0單項選擇題 一、單項選擇題(共 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是教師,則命題“有人是教師”可符號化為( )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. 表達式中的轄域是( ) 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. 下列等價公式成立的為( ) 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都是約束變元B. x,y都是自由變元C. x是約束變元,y都是自由變元D. x是自由變元,y都是約束變元9. 命題公式(PÚQ)®Q為( ) A. 矛盾式B. 可滿足式C. 重言式D. 合取范式10. 設(shè)個體域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 測試時間:0單項選擇題 一、單項選擇題(共 10 道試題
22、,共 100 分。)1. 命題公式P®Q的主合取范式是( ) A. (PÚQ)Ù(PÚØQ)Ù(ØPÚØQ)B. ØPÙQC. ØPÚQD. PÚØQ2. 設(shè)個體域D是整數(shù)集合,則命題"x$y (x×y = y)的真值是( ) A. TB. F
23、160; C. 不確定D. 以上說法都不是3. 命題公式的析取范式是( ) A. B. C. D. 4. 設(shè)P:我將去打球,Q:我有時間命題“我將去打球,僅當(dāng)我有時間時”符號化為( ) A. B. C. D. 5. 設(shè)個體域為整數(shù)集,則公式"x$y(x+y=0)的解釋可為( )A. 存在一整數(shù)x有整數(shù)y滿足x+y=0 B. 任一整數(shù)x對任意整數(shù)y滿足x+y=0C. 對任一整數(shù)x存在整數(shù)y滿足x+y=0D. 存在一整數(shù)x對任意整數(shù)y滿足x+y=06. 命題公式(PÚQ)®R的析取范式是 ( ) A. Ø(PÚQ)ÚRB. (PÙQ)ÚRC. (PÚQ)ÚRD. (ØPÙØQ)ÚR7. 下列公式成立的
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 中國三角銼行業(yè)市場發(fā)展前景及發(fā)展趨勢與投資戰(zhàn)略研究報告(2024-2030)
- 2023-2028年中國南北干貨行業(yè)發(fā)展監(jiān)測及市場發(fā)展?jié)摿︻A(yù)測報告
- 2025年中國炸雞調(diào)料行業(yè)市場競爭格局及投資前景展望報告
- 2025年中國生態(tài)食品行業(yè)市場深度分析及投資策略咨詢報告
- 2025至2030應(yīng)急電源照明車市場行業(yè)產(chǎn)業(yè)運行態(tài)勢及投資規(guī)劃深度研究報告
- 2025至2030中國網(wǎng)上銀行行業(yè)市場發(fā)展分析及發(fā)展前景與投資報告
- 2025至2030中國消防器材制造市場創(chuàng)新策略與企業(yè)經(jīng)營形勢分析報告
- 2025至2030中國海運拼箱行業(yè)發(fā)展趨勢分析與未來投資戰(zhàn)略咨詢研究報告
- 2025至2030中國流延膜擠出生產(chǎn)線行業(yè)市場現(xiàn)狀分析及競爭格局與投資發(fā)展報告
- 2025至2030中國油煙機清洗劑行業(yè)發(fā)展趨勢分析與未來投資戰(zhàn)略咨詢研究報告
- 蘇教版-數(shù)學(xué)二年級下冊-期末試卷10套
- 《陸上風(fēng)電場工程設(shè)計概算編制規(guī)定及費用標(biāo)準(zhǔn)》(NB-T 31011-2019)
- 關(guān)于幼兒園沙水區(qū)自主游戲探究的論文
- (完整word)軟件驗收單
- 夢幻西游翰墨之道全
- 執(zhí)業(yè)藥師 中藥一筆記
- 新科hg5300功放說明書
- 2023-2024學(xué)年湖南省常德市小學(xué)語文六年級期末評估試卷附參考答案和詳細解析
- 氣污染源自動監(jiān)控設(shè)施臺賬記錄模版校準(zhǔn)記錄
- JJF 1169-2007汽車制動操縱力計校準(zhǔn)規(guī)范
- 新高考高中物理競賽專題1力學(xué)50題競賽真題強化訓(xùn)練原卷版
評論
0/150
提交評論