電大離散數(shù)學(xué)06任務(wù)及答案_第1頁
電大離散數(shù)學(xué)06任務(wù)及答案_第2頁
電大離散數(shù)學(xué)06任務(wù)及答案_第3頁
電大離散數(shù)學(xué)06任務(wù)及答案_第4頁
電大離散數(shù)學(xué)06任務(wù)及答案_第5頁
已閱讀5頁,還剩18頁未讀 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(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)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論