




版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、存在一整數(shù)x有整數(shù)y滿足存在一整數(shù)x有整數(shù)y滿足x+y=0A.試卷總分:100測(cè)試時(shí)間:0單項(xiàng)選擇題一、單項(xiàng)選擇題(共10道試題,共100分。)命題公式一匸匸的析取范式是().設(shè)個(gè)體域?yàn)檎麛?shù)集,則公式x$y(x+y=O)的解釋可為(B.任一整數(shù)x對(duì)任意整數(shù)y滿足x+y=0C.對(duì)任一整數(shù)x存在整數(shù)y滿足x+y=0D.存在一整數(shù)x對(duì)任意整數(shù)y滿足x+y=0下列公式成立的為()PaQoPvQPtQoPtQc.QtPnP*D.-PA(PvQ)nQ下列公式中()為永真式.A.-A-B-v-BB.aB(AvB)D.aB(Aab)D.設(shè)P:我將去打球,Q:我有時(shí)間命題“我將去打球,僅當(dāng)我有時(shí)間時(shí)”符號(hào)化為(
2、)5.A.(PvQ)vRB.5.A.(PvQ)vRC.(PvQ)vRD.(PaQ)vR)7.設(shè)命題公式G:_】二,則使公式G取真值為1的P,Q,R賦值分別是().P)7.設(shè)命題公式G:_】二,則使公式G取真值為1的P,Q,R賦值分別是().PaQ)PaQ)v(PvQ)PaQ)&0,0,00,0,10,1,01,0,0命題公式PtQ的主合取范式是()9.(pvq)a(nv1)人(一inv1).PaQ.PvQ.PvQ)10.下列等價(jià)公式成立的為(A.PaPoQaQQtPoPtQPaQoPvQd.PvPoQ06任務(wù)_0002試卷總分:100測(cè)試時(shí)間:o單項(xiàng)選擇題一、單項(xiàng)選擇題(共10道試題,共100
3、分。)命題公式(PvQ)tQ為()A.矛盾式斥B.可滿足式C.重言式廠D.合取范式設(shè)個(gè)體域?yàn)檎麛?shù)集,則公式x$y(x+y=0)的解釋可為().A.存在一整數(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滿足存在一整數(shù)X對(duì)任意整數(shù)y滿足x+y=O下列等價(jià)公式成立的為()4.命題公式一匸的析取范式是().A.PaPoQaQQtPoPtQPaQPvQPvPoQ設(shè)命題公式G:,則使公式G取真值為1的P,Q,R賦值分別是().0,0,00,0,1c.0,1,0D.1,0,0在謂詞公式(Vx)(A(x)-B(x)vC(x,y)中
4、,()x,y都是約束變?cè)獂,y都是自由變?cè)狢.x是約束變?cè)?,y都是自由變?cè)狣.x是自由變?cè)?,y都是約束變?cè)}公式PtQ的主合取范式是()a.(pvq)a(nv10)人(inv10)B.PaQc.PvQd.Pvq設(shè)A(x):x是人,B(x):x是教師,則命題“有人是教師”可符號(hào)化為().(-x)(A(x)AB(x)(Vx)(A(x)aB(x)(Vx)(A(x)tB(x)d.(二x)(A(x)aB(xd.(二x)(A(x)aB(x)僅當(dāng)我有時(shí)間時(shí)”符號(hào)化為9.設(shè)P:我將去打球,Q:我有時(shí)間.命題“我將去打球,)命題公式(PvQ)tR的析取范式是(A.(PvQ)vRB.(PaQ)vRC.(PvQ)
5、vRD.(PaQ)vR06任務(wù)_0003試卷總分:100測(cè)試時(shí)間:o單項(xiàng)選擇題一、單項(xiàng)選擇題(共10道試題,共100分。)1.設(shè)P:我將去打球,Q:我有時(shí)間.命題“我將去打球,僅當(dāng)我有時(shí)間時(shí)”符號(hào)化為()PaQOPvQPTiQOPtQc.QtPnPD.P八(PvQBQ下列公式()為重言式.PaQoPvQ(Qt(PvQ)(Qa(PvQ)c.(Pt(QtP)(Pt(PtQ)D.(Pv(PaQ)oQ4.命題公式(PvQ)tR的析取范式是()(PvQ)vR(PaQ)vR(PvQ)vR(PaQ)vR命題公式PtQ的主合取范式是().a.(pvQ)a(nv)A(nv0)B.PaQC.PvQPQ在謂詞公式(
6、Vx)(A(x)-B(x)vC(x,y)中,()x,y都是約束變?cè)獂,y都是自由變?cè)狢.x是約束變?cè)?,y都是自由變?cè)狣.x是自由變?cè)?,y都是約束變?cè)铝泄街?)為永真式.-A-B-v-BB.aB(AvB)廠C.aBAvB廠D.aB(AaB)設(shè)A(x):x是書,B(x):x是數(shù)學(xué)書,則命題“不是所有書都是數(shù)學(xué)書可符號(hào)化為()-A.n(Vx)(A(x)fB(x)(二x)(A(x)aB(x)(Vx)(A(xpB(x)(二x)(A(x)aB(x)設(shè)個(gè)體域D=a,b,c,那么謂詞公式-3-消去量詞后的等值式為A.(A(a)vA(b)vA(c)v(B(a)AB(b)AB(b)廠B.(A(a)AA(b)A
7、A(c)v(B(a)vB(b)vB(b)廠C.(A(a)vA(b)vA(c)v(B(a)vB(b)vB(b)廠D.(A(a)AA(b)AA(c)v(B(a)AB(b)AB(b)10.前提條件20的有效結(jié)論是()PPc.Q-D.Q06任務(wù)_0004試卷總分:100測(cè)試時(shí)間:o單項(xiàng)選擇題一、單項(xiàng)選擇題(共10道試題,共100分。)下列公式成立的為()PaQOPvQPTiQOPtQc.QtPnPD.PA(PvQ)nQ命題公式(PvQ)tR的析取范式是()(PvQ)vR(PaQ)vR(PvQ)vR(PaQ)vR).設(shè)A(x):x是人,B(x):x是教師,則命題“有人是教師”可符號(hào)化為().Cx)(A(
8、x)aB(x)(Vx)(A(x)aB(x)(Vx)(A(x)tB(x)(二x)(A(x)aB(x)下列公式()為重言式.A.A.PaQoPvQB.(Qt(PvQ)(Qa(PvQ)c.(Pt(QtP)(Pt(PtQ)D.(Pv(PaQ)oQ表達(dá)式竝階Q)朋咋(g)-勺衛(wèi))中血的轄域是().P(x,y)P(x,y)vQ(z)c.R(x,y)D.P(x,y)AR(x,y)命題公式(PvQ)的合取范式是().(PaQ)(PaQ)v(PvQ)(PvQ)(PaQ)下列等價(jià)公式成立的為()A.PaPoQaQQtPoPtQPaQoPvQ).D.PvPOQ).在謂詞公式(Vx)(A(x)-B(x)vC(x,y)
9、中,(x,y都是約束變?cè)獂,y都是自由變?cè)獂是約束變?cè)?,y都是自由變?cè)狣.x是自由變?cè)?,D.x是自由變?cè)?,y都是約束變?cè)}公式(PvQ)Q為()A.矛盾式B.可滿足式C.重言式廠D.合取范式設(shè)個(gè)體域D=a,b,c,那么謂詞公式三-3-消去量詞后的等值式為A.(A(a)vA(b)vA(c)v(B(a)AB(b)AB(b)廠B.(A(a)AA(b)AA(c)v(B(a)vB(b)vB(b)廠C.(A(a)vA(b)vA(c)v(B(a)vB(b)vB(b)廠D.(A(a)AA(b)AA(c)v(B(a)AB(b)AB(b)06任務(wù)_0005試卷總分:100測(cè)試時(shí)間:o單項(xiàng)選擇題一、單項(xiàng)選擇題(共
10、10道試題,共100分。)1.命題公式PQ的主合取范式是().(PvQ)a(Hvi)a(1Hv10)PaQPvQPvQTOC o 1-5 h z設(shè)個(gè)體域D是整數(shù)集合,則命題x$y(xXy=y)的真值是().TFc.不確定D.以上說(shuō)法都不是3.命題公式一$的析取范式是().A.P/-0B.-PaQC.-PQD.4.存在一整數(shù)x有整數(shù)yD.4.存在一整數(shù)x有整數(shù)y滿足x+y=0A.設(shè)P:我將去打球,Q:我有時(shí)間.命題“我將去打球,僅當(dāng)我有時(shí)間時(shí)”符號(hào)化為)設(shè)個(gè)體域?yàn)檎麛?shù)集,則公式x$y(x+y=O)的解釋可為(任一整數(shù)x對(duì)任意整數(shù)y滿足x+y=0對(duì)任一整數(shù)x存在整數(shù)y滿足x+y=0D.存在一整數(shù)x對(duì)任意整數(shù)y滿足x+y=06.命題公式(PvQ)tR的析取范式是()-(PvQ)vR(PaQ)vR(PvQ)vR*D.(PaQ)vR7.下列公式成立的為()PaQoPvQB.PTiQoPtQc.QtPnPPa(PvQ)=Q8.設(shè)個(gè)體域D=a,b,c,那么謂詞公式-3-消去量詞后的等值式為9.aBvBaB9.aBvBaBi(AvB)aBAvBaBi(AaB)下列等價(jià)公式成立的為().1
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 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ì)用戶上傳內(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ì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 出口寵物食品合同范本
- 倉(cāng)庫(kù)租賃 配送合同范本
- 主力商家合同范本
- 2025年超大型特厚板軋機(jī)項(xiàng)目建議書
- 第六課 友誼之樹常青 教學(xué)設(shè)計(jì)-2024-2025學(xué)年統(tǒng)編版道德與法治七年級(jí)上冊(cè)
- 包裝買賣合同范本
- 北京合伙合同范本咨詢
- 《認(rèn)識(shí)面積》(教學(xué)設(shè)計(jì))-2023-2024學(xué)年三年級(jí)下冊(cè)數(shù)學(xué)人教版
- 信用擔(dān)保借款合同范本你
- 制造珠寶生產(chǎn)訂單合同范本
- TPU材料項(xiàng)目可行性研究報(bào)告寫作參考范文
- 第二編 債權(quán)總論
- 試用期考核合格證明表
- 常見(jiàn)八種疾病
- 膠粘劑基礎(chǔ)知識(shí)及產(chǎn)品詳解(課堂PPT)
- 完整版三措兩案范文
- 鐵路總公司近期處理的七起突出質(zhì)量問(wèn)題的通報(bào)
- 常用洪水預(yù)報(bào)模型介紹
- 援外項(xiàng)目鋼結(jié)構(gòu)運(yùn)輸包裝作業(yè)指導(dǎo)書(共13頁(yè))
- 髖關(guān)節(jié)置換術(shù)男性患者留置尿管最佳時(shí)機(jī)探析和對(duì)策
- [爆笑小品校園劇本7人]爆笑小品校園劇本
評(píng)論
0/150
提交評(píng)論