版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認(rèn)領(lǐng)
文檔簡介
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.對任一整數(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單項選擇題
一、單項選擇題(共
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
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單項選擇題
一、單項選擇題(共
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單項選擇題
一、單項選擇題(共
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.
表達式中的轄域是().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單項選擇題
一、單項選擇題(共
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è)個體域為整數(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單項選擇題
一、單項選擇題(共
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.
表達式中的轄域是().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單項選擇題
一、單項選擇題(共
10
道試題,共
100
分。)1.
設(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=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單項選擇題
一、單項選擇題(共
10
道試題,共
100
分。)1.
下列公式成立的為().A.?Pù?Q?PúQB.P??Q??P?QC.Q?PTPD.?Pù(PúQ)TQ2.
表達式中的轄域是().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單項選擇題
一、單項選擇題(共
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è)個體域為整數(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)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025版小漁船買賣合同含船舶性能評估及交易保障3篇
- 2025年度跨境電商店鋪租賃及物流服務(wù)合同
- 2025年全球及中國真空拾取筆行業(yè)頭部企業(yè)市場占有率及排名調(diào)研報告
- 2025年度個人與公司間信用借款合同規(guī)范3篇
- 二零二五年度采石場安全生產(chǎn)監(jiān)管服務(wù)合同3篇
- 二零二五年度電子元器件ROHS檢測與供應(yīng)鏈管理協(xié)議3篇
- 高效學(xué)習(xí)與時間管理的藝術(shù)
- 2025版?zhèn)€人民間借款合同書范本:個人光伏發(fā)電設(shè)備貸款合作協(xié)議4篇
- 潮州2024年廣東潮州市科學(xué)技術(shù)局屬下事業(yè)單位招聘10人(第二輪)筆試歷年參考題庫附帶答案詳解
- 2025版房地產(chǎn)開發(fā)項目部安全生產(chǎn)責(zé)任保障協(xié)議3篇
- 衛(wèi)生服務(wù)個人基本信息表
- 醫(yī)學(xué)脂質(zhì)的構(gòu)成功能及分析專題課件
- 高技能人才培養(yǎng)的策略創(chuàng)新與實踐路徑
- 廣東省湛江市廉江市2023-2024學(xué)年八年級上學(xué)期期末考試數(shù)學(xué)試卷(含答案)
- 2024年湖北省知名中小學(xué)教聯(lián)體聯(lián)盟中考語文一模試卷
- 安徽省蕪湖市2023-2024學(xué)年高一上學(xué)期期末考試 生物 含解析
- 交叉口同向可變車道動態(tài)控制與信號配時優(yōu)化研究
- 燃?xì)庑袠I(yè)有限空間作業(yè)安全管理制度
- 數(shù)列練習(xí)題(含答案)基礎(chǔ)知識點
- 人教版(2024新版)七年級上冊英語期中+期末學(xué)業(yè)質(zhì)量測試卷 2套(含答案)
- 安華農(nóng)業(yè)保險股份有限公司北京市地方財政生豬價格指數(shù)保險條款(風(fēng)險敏感型)
評論
0/150
提交評論