版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
06任務(wù)_0001試卷總分:100
測試時間:0單項(xiàng)選擇題
一、單項(xiàng)選擇題(共
10
道試題,共
100
分。)1.
命題公式的析取范式是().A.B.C.D.2.
設(shè)個體域?yàn)檎麛?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=03.
下列公式成立的為().A.?Pù?Q?PúQB.P??Q??P?QC.Q?PTPD.?Pù(PúQ)TQ4.
下列公式中()為永真式.A.?Aù?B??Aú?BB.?Aù?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ù?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)ù(Pú?Q)ù(?Pú?Q)B.?PùQC.?PúQD.Pú?Q10.
下列等價公式成立的為(
).A.?PùP??QùQB.?Q?P?P?QC.PùQ?PúQ06任務(wù)_0002試卷總分:100
測試時間:0單項(xiàng)選擇題
一、單項(xiàng)選擇題(共
10
道試題,共
100
分。)1.
命題公式(PúQ)?Q為(
)A.矛盾式B.可滿足式C.重言式D.合取范式2.
設(shè)個體域?yàn)檎麛?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=03.
命題公式的析取范式是().A.B.C.D.4.
下列等價公式成立的為(
).A.?PùP??QùQB.?Q?P?P?QC.PùQ?PúQD.?PúP?Q5.
設(shè)命題公式G:,則使公式G取真值為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.?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.
命題公式(PúQ)?R的析取范式是()A.?(PúQ)úRB.(PùQ)úRC.(PúQ)úRD.(?Pù?Q)úR06任務(wù)_0003試卷總分:100
測試時間:0單項(xiàng)選擇題
一、單項(xiàng)選擇題(共
10
道試題,共
100
分。)1.
設(shè)P:我將去打球,Q:我有時間.命題“我將去打球,僅當(dāng)我有時間時”符號化為().A.B.C.D.2.
下列公式成立的為().A.?Pù?Q?PúQB.P??Q??P?QC.Q?PTPD.?Pù(PúQ)TQ3.
下列公式()為重言式.A.?Pù?Q?PúQB.(Q?(PúQ))?(?Qù(PúQ))C.(P?(?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ú?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ù?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.
設(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.
前提條件的有效結(jié)論是().A.PB.?PC.QD.?Q06任務(wù)_0004試卷總分:100
測試時間:0單項(xiàng)選擇題
一、單項(xiàng)選擇題(共
10
道試題,共
100
分。)1.
下列公式成立的為().A.?Pù?Q?PúQB.P??Q??P?QC.Q?PTPD.?Pù(PúQ)TQ2.
命題公式(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)?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.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úQD.?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)ú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單項(xiàng)選擇題
一、單項(xiàng)選擇題(共
10
道試題,共
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
C.不確定D.以上說法都不是3.
命題公式的析取范式是().A.B.C.D.4.
設(shè)P:我將去打球,Q:我有時間.命題“我將去打球,僅當(dāng)我有時間時”符號化為().A.B.C.D.5.
設(shè)個體域?yàn)檎麛?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.
下列公式成立的為().A.?Pù?Q?PúQB.P??Q??P?QC.Q?PTPD.?Pù(PúQ)TQ8.
設(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))9.
下列公式中()為永真式.A.?Aù?B??Aú?BB.?Aù?B??(AúB)C.?Aù?B?AúBD.?Aù?B??(AùB)10.
下列等價公式成立的為(
).A.?PùP??QùQB.?Q?P?P?QC.PùQ?PúQD.?PúP?Q06任務(wù)_0006試卷總分:100
測試時間:0單項(xiàng)選擇題
一、單項(xiàng)選擇題(共
10
道試題,共
100
分。)1.
命題公式(PúQ)的合取范式是().A.(PùQ)B.(PùQ)ú(PúQ)C.(PúQ)D.?(?Pù?Q)2.
前提條件的有效結(jié)論是().A.PB.?PC.QD.?Q3.
表達(dá)式中的轄域是().A.P(x,y)B.P(x,y)úQ(z)C.R(x,y)D.P(x,y)ùR(x,y)4.
命題公式的析取范式是().A.B.C.D.5.
下列公式()為重言式.A.?Pù?Q?PúQB.(Q?(PúQ))?(?Qù(PúQ))C.(P?(?Q?P))?(?P?(P?Q))D.(?Pú(PùQ))?Q6.
下列公式中()為永真式.A.?Aù?B??Aú?BB.?Aù?B??(AúB)C.?Aù?B?AúBD.?Aù?B??(AùB)7.
下列等價公式成立的為(
).A.?PùP??QùQB.?Q?P?P?QC.PùQ?PúQD.?PúP?Q8.
設(shè)P:我將去打球,Q:我有時間.命題“我將去打球,僅當(dāng)我有時間時”符號化為().A.B.C.D.9.
下列等價公式成立的為().A.?Pù?Q?PúQB.P?(?Q?P)??P?(P?Q)C.Q?(PúQ)??Qù(PúQ)D.?Pú(PùQ)?Q10.
設(shè)個體域D是整數(shù)集合,則命題"x$y(x×y=y)的真值是(
).A.TB.F
C.不確定D.以上說法都不是06任務(wù)_0007試卷總分:100
測試時間:0單項(xiàng)選擇題
一、單項(xiàng)選擇題(共
10
道試題,共
100
分。)1.
設(shè)個體域?yàn)檎麛?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=02.
命題公式P?Q的主合取范式是(
).A.(PúQ)ù(Pú?Q)ù(?Pú?Q)B.?PùQC.?PúQD.Pú?Q3.
設(shè)P:我將去打球,Q:我有時間.命題“我將去打球,僅當(dāng)我有時間時”符號化為().A.B.C.D.4.
命題公式(PúQ)的合取范式是().A.(PùQ)B.(PùQ)ú(PúQ)C.(PúQ)D.?(?Pù?Q)5.
命題公式(PúQ)?R的析取范式是()A.?(PúQ)úRB.(PùQ)úRC.(PúQ)úRD.(?Pù?Q)úR6.
前提條件的有效結(jié)論是().A.PB.?PC.QD.?Q7.
下列公式成立的為().A.?Pù?Q?PúQB.P??Q??P?QC.Q?PTPD.?Pù(PúQ)TQ8.
下列公式()為重言式.A.?Pù?Q?PúQB.(Q?(PúQ))?(?Qù(PúQ))C.(P?(?Q?P))?(?P?(P?Q))D.(?Pú(PùQ))?Q9.
在謂詞公式("x)(A(x)→B(x)úC(x,y))中,().A.x,y都是約束變元B.x,y都是自由變元C.x是約束變元,y都是自由變元D.x是自由變元,y都是約束變元10.
命題公式的析取范式是().A.B.C.D.06任務(wù)_0008試卷總分:100
測試時間:0單項(xiàng)選擇題
一、單項(xiàng)選擇題(共
10
道試題,共
100
分。)1.
下列公式成立的為().A.?Pù?Q?PúQB.P??Q??P?QC.Q?PTPD.?Pù(PúQ)TQ2.
表達(dá)式中的轄域是().A.P(x,y)B.P(x,y)úQ(z)C.R(x,y)D.P(x,y)ùR(x,y)3.
命題公式(PúQ)?R的析取范式是()A.?(PúQ)úRB.(PùQ)úRC.(PúQ)úRD.(?Pù?Q)úR4.
命題公式(PúQ)?Q為(
)A.矛盾式B.可滿足式C.重言式D.合取范式5.
設(shè)P:我將去打球,Q:我有時間.命題“我將去打球,僅當(dāng)我有時間時”符號化為().A.B.C.D.6.
設(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))7.
下列公式中()為永真式.A.?Aù?B??Aú?BB.?Aù?B??(AúB)C.?Aù?B?AúBD.?Aù?B??(AùB)8.
設(shè)個體域D是整數(shù)集合,則命題"x$y(x×y=y)的真值是(
).A.TB.F
C.不確定D.以上說法都不是9.
在謂詞公式("x)(A(x)→B(x)úC(x,y))中,().A.x,y都是約束變元B.x,y都是自由變元C.x是約束變元,y都是自由變元D.x是自由變元,y都是約束變元10.
命題公式的析取范式是().A.B.C.D.06任務(wù)_0009試卷總分:100
測試時間:0單項(xiàng)選擇題
一、單項(xiàng)選擇題(共
10
道試題,共
100
分。)1.
設(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))2.
命題公式的析取范式是().A.B.C.D.3.
下列等價公式成立的為(
).A.?PùP??QùQB.?Q?P?P?QC.PùQ?PúQD.?PúP?Q4.
設(shè)個體域?yàn)檎麛?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=05.
命題公式(PúQ)?Q為(
)A.矛盾式B.可滿足式C.重言式D.合取范式6.
命題公式(PúQ)的合取范式是().A.(PùQ)B.(PùQ)ú(PúQ)C.(PúQ)D.?(?Pù?Q)7.
命題公式P?Q的主合取范式是(
).A.(PúQ)ù(Pú?Q)ù(?Pú?Q)B.?PùQC.?PúQD.Pú?Q8.
命題公式(PúQ)?R的析取范式是()A.?(PúQ)úRB.(PùQ)úRC.(PúQ)úRD.(?Pù?Q)úR9.
設(shè)P:我將去打球,Q:我有時間.命題“我將去打球,僅當(dāng)我有時間時”符號化為().A.B.C.D.10.
設(shè)A(x):x是書,B(x):x是數(shù)學(xué)書,則命題“不是所有書都是數(shù)學(xué)書”可符號化為(
).A.┐("x)(A(x)→B(x))B.?(x)(A(x)ùB(
溫馨提示
- 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)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 云計算在數(shù)字內(nèi)容存儲與檢索中的應(yīng)用考核試卷
- 橡膠制品生產(chǎn)效率提升考核試卷
- 圖書、報刊行業(yè)國際標(biāo)準(zhǔn)與國際貿(mào)易規(guī)則考核試卷
- 環(huán)境污染治理市場分析考核試卷
- 摩托車發(fā)動機(jī)預(yù)熱系統(tǒng)與排放考核試卷
- 信托業(yè)務(wù)在新能源領(lǐng)域的投資趨勢與風(fēng)險考核試卷
- 閥門與旋塞在航空航天領(lǐng)域的應(yīng)用考核試卷
- 2024年度貴州省安全員之B證(項(xiàng)目負(fù)責(zé)人)考前練習(xí)題及答案
- 2024年度甘肅省安全員之B證(項(xiàng)目負(fù)責(zé)人)高分通關(guān)題庫A4可打印版
- 2024年自動旋切貼合蔬菜嫁接機(jī)合作協(xié)議書
- 人教版六年級上冊數(shù)學(xué)期中測試卷及完整答案(各地真題)
- 2024年航天知識總結(jié)
- 汽車車型大全
- 小學(xué)生介紹動物鸚鵡主題班會演講稿ppt
- 液氨制冷企業(yè)安全操作規(guī)程
- 2021年第十四屆海鷗文化節(jié) “昆明之約”活動執(zhí)行方案
- 畢業(yè)設(shè)計(論文)基于PLC的裝配流水線控制
- Project培訓(xùn)教程(完整版)
- 房地產(chǎn)客戶投訴處理機(jī)制
- 深化設(shè)計規(guī)劃方案一般步驟
- 中石油安全經(jīng)驗(yàn)分享
評論
0/150
提交評論