




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
1、共享知識(shí)分享快樂06任務(wù)_0001試卷總分:100測(cè)試時(shí)間:0單項(xiàng)選擇題一、單項(xiàng)選擇題(共10道試題,共100分。)1.命題公式的析取范式是()A.B.C.D.設(shè)個(gè)體域?yàn)檎麛?shù)集,則公式x$y(x+y=0)的講解可為(存在一整數(shù)x有整數(shù)y滿足x+y=0任一整數(shù)x對(duì)任意整數(shù)y滿足x+y=0對(duì)任一整數(shù)x存在整數(shù)y滿足x+y=0D.存在一整數(shù)x對(duì)任意整數(shù)y滿足x+y=03.以下公式成立的為()A.PQPQ共享知識(shí)分享快樂D.AB(AB)5.A.B.C.D.設(shè)P:我將去打球,Q:我有時(shí)間命題“我將去打球,僅當(dāng)我號(hào)化為()6.命題公式(PQ)R的析取范式是()(PQ)R(PQ)R(PQ)RD.(PQ)R7
2、.命題公式(PQ)的合取范式是()(PQ)(PQ)(PQ)(PQ)(PQ)8.設(shè)命題公式G:,則使公式G取真值為1的共享知識(shí)分享快樂PQPQPQ10.以低等價(jià)公式成立的為()A.PPQQQPPQPQPQD.PPQ共享知識(shí)分享快樂06任務(wù)_0002試卷總分:100測(cè)試時(shí)間:0單項(xiàng)選擇題一、單項(xiàng)選擇題(共10道試題,共100分。)1.命題公式(PQ)Q為()矛盾式可滿足式重言式合取范式設(shè)個(gè)體域?yàn)檎麛?shù)集,則公式x$y(x+y=0)的講解可為(存在一整數(shù)x有整數(shù)y滿足x+y=0任一整數(shù)x對(duì)任意整數(shù)y滿足x+y=0對(duì)任一整數(shù)x存在整數(shù)y滿足x+y=0D.存在一整數(shù)x對(duì)任意整數(shù)y滿足x+y=03.命題公式
3、的析取范式是()A.共享知識(shí)分享快樂PPQ5.設(shè)命題公式G:,則使公式G取真值為1的是()0,0,00,0,10,1,01,0,06.在謂詞公式(x)(A(x)B(x)C(x,y)中,()x,y都是拘束變?cè)獂,y都是自由變?cè)獂是拘束變?cè)瑈都是自由變?cè)獂是自由變?cè)?,y都是拘束變?cè)?.命題公式PQ的主合取范式是()A.(PQ)PQPQD.PQ共享知識(shí)分享快樂B.C.D.10.命題公式(PQ)R的析取范式是()(PQ)R(PQ)R(PQ)R(PQ)R共享知識(shí)分享快樂06任務(wù)_0003試卷總分:100測(cè)試時(shí)間:0單項(xiàng)選擇題一、單項(xiàng)選擇題(共10道試題,共100分。)1.A.B.C.D.設(shè)P:我將去打
4、球,Q:我有時(shí)間命題“我將去打球,僅當(dāng)我號(hào)化為()2.以下公式成立的為()A.PQPQB.C.PQPQQPPP(PQ)Q3.以下公式()為重言式A.PQPQB.(Q(PQ)(Q(PQ)C.(P(QP)(P(PQ)共享知識(shí)分享快樂PQPQPQ6.在謂詞公式(x)(A(x)B(x)C(x,y)中,()x,y都是拘束變?cè)獂,y都是自由變?cè)獂是拘束變?cè)瑈都是自由變?cè)獂是自由變?cè)?,y都是拘束變?cè)?.以下公式中()為永真式A.ABABB.AB(AB)C.ABABD.AB(AB)設(shè)A(x):x是書,B(x):x是數(shù)學(xué)書,則命題“不是所有書符號(hào)化為()A.(x)(A(x)B(x)B.(x)(A(x)B(x)
5、C.(x)(A(x)B(x)共享知識(shí)分享快樂10.前提條件的有效結(jié)論是()PPQQ共享知識(shí)分享快樂06任務(wù)_0004試卷總分:100測(cè)試時(shí)間:0單項(xiàng)選擇題一、單項(xiàng)選擇題(共10道試題,共100分。)1.以下公式成立的為()A.PQPQB.PQPQC.QPPP(PQ)Q2.命題公式(PQ)R的析取范式是()(PQ)R(PQ)R(PQ)RD.(PQ)R設(shè)A(x):x是人,(Bx):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)共享知識(shí)分享快樂B.P(x,y)Q(z)R(x,y)P(x,y)R(x,
6、y)6.命題公式(PQ)的合取范式是()(PQ)B.C.PQ)(PQ)PQ)(PQ)7.以低等價(jià)公式成立的為()A.PPQQQPPQPQPQPPQ8.在謂詞公式(x)(A(x)B(x)C(x,y)中,()x,y都是拘束變?cè)獂,y都是自由變?cè)狢.x是拘束變?cè)?,y都是自由變?cè)蚕碇R(shí)分享快樂10.設(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)共享知識(shí)分享快樂06任務(wù)_0005試卷總分:100測(cè)試時(shí)間:0單項(xiàng)選擇題一、單項(xiàng)選擇題(共10道試題,共100分。)1.命題公式PQ的主合取范式是()A.(PQ)B.PQC.PQD.PQ2.設(shè)個(gè)體域D是整數(shù)會(huì)集,則命題x$y(xy=y)的真值是(TF不確定以上說法都不是3.命題公式的析取范式是()A.B.C.共享知識(shí)分享快樂A.存在一整數(shù)x有整數(shù)y滿足x+y=0B.任一整數(shù)x對(duì)任意整數(shù)y滿足x+y=0C.對(duì)任一整數(shù)x存在整數(shù)y滿足x+y=0D.存在一整數(shù)x對(duì)任意整數(shù)y滿足x+y=06.命題公式(PQ)R的析取范式是()(PQ)R(PQ)R(PQ)RD.(PQ)R7.以下公式成立的為()A.PQPQB.PQP
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 裝修延期賠償協(xié)議
- 小學(xué)特殊教育教研工作計(jì)劃
- 課外輔導(dǎo)班作業(yè)監(jiān)控與反饋機(jī)制
- 雨季建筑施工防火措施探討
- 仁愛版七年級(jí)英語上冊(cè)教學(xué)計(jì)劃課堂管理技巧
- 展會(huì)消防設(shè)施維護(hù)合同
- 股權(quán)轉(zhuǎn)讓合同印花稅計(jì)算方法
- 反擔(dān)保法律合同細(xì)則
- 企業(yè)內(nèi)部合作經(jīng)營合同章程范本
- 合同貨物運(yùn)單(普通)辦理流程詳解
- 銀行業(yè)金融機(jī)構(gòu)監(jiān)管數(shù)據(jù)標(biāo)準(zhǔn)化規(guī)范(2021版)數(shù)據(jù)結(jié)構(gòu)一覽表
- 電子商務(wù)基礎(chǔ)與實(shí)務(wù)(第四版)高職PPT完整全套教學(xué)課件
- 信息論與編碼(第4版)完整全套課件
- 施工吊籃工程監(jiān)理實(shí)施細(xì)則
- 自動(dòng)扶梯與自動(dòng)人行道調(diào)試作業(yè)指導(dǎo)書(通用版)
- 2023年全國卷英語甲卷講評(píng)課件-2024屆高考英語復(fù)習(xí)
- 現(xiàn)代通信原理與技術(shù)(第五版)PPT全套完整教學(xué)課件
- 《戰(zhàn)勝抑郁 走出抑郁癥的30天自我康復(fù)訓(xùn)練》讀書筆記思維導(dǎo)圖
- 辦公電腦領(lǐng)用、保管登記表
- 幼兒園課件:時(shí)鐘國王
- 最值問題-阿氏圓
評(píng)論
0/150
提交評(píng)論