版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、單項(xiàng)選擇題單項(xiàng)選擇題第一章第一章命題邏輯命題邏輯1下列語句,哪一個是真命題:(B)A我正在說謊B如果11=0,那么雪是黑的C95>18D存在最大的質(zhì)數(shù)2下面哪一個命題是假命題(A)A如果2是偶數(shù),那么一個公式的析取范式唯一B如果2是偶數(shù),那么一個公式的析取范式不唯一C如果2是奇數(shù),那么一個公式的析取范式唯一D如果2是奇數(shù),那么一個公式的析取范式不唯一3下面哪個聯(lián)結(jié)詞運(yùn)算不可交換(B)A?;B?C?D?4設(shè)P:天下大雨,Q:他乘公共汽車上
2、班。命題“只有天下大雨,他才乘公共汽車上班”符號化為(B)AP?QBQ?PCP?QD?P?Q5設(shè)P:天下釘子,Q:我去B城。命題“除非天下釘子,否則我去B城”符號化為:(C)AP?QBQ?PC?P?QDQ?┐P6設(shè)P:我們劃船,Q:我們跳舞,命題“我們不能既劃船又跳舞”符號化為(B)APQ2)┐(P∧Q)C┐P∧┐QD┐P∧QV7令P:今天下雪了,Q:路滑,則命題“雖然今天下雪了,但是路不滑”可符號化為(D)AP?┐QBP∨┐QCP∧Q
3、DP∧┐Q8設(shè)P:我將去鎮(zhèn)上,Q:我有時間,命題“我將去鎮(zhèn)上,僅當(dāng)我有時間”,符號化為(A)。AP?QB、Q?PC、P?QD、┐P∨┐Q9下面哪一個命題公式是重言式(D)A(P∨R)∧(P?Q)BP?(Q∨R)C(P∨Q)?(Q∨R)D(P?(Q?R))?(P?Q)?(P?R)10下面哪一組命題公式不是等價的(C)A(P?Q)(Q?P),P?QB?(P?Q),(P∧┐Q)∨(┐P∧Q)?CP?(Q∨R),┐P∧(Q∨R)DP?(Q∨R)
4、,(P∧┐Q)?R11下面哪個命題公式是重言式(B)A(P?Q)(Q?P)B(P?Q)?P?C(┐P∨Q)∧┐(┐P∧Q)D(P?Q)?P12下列公式哪一個是兩個命題變元P,Q的小項(xiàng)(C)AP∧┐P∧QB┐P∨QC┐P∧QD┐P∨P∨Q13一個公式在等價意義下,下面哪個寫法是唯一的。(C)AB.C.D)0(????yxyx)0(????yxxy)0(????yxyx)0(?????yxyx8下面給出的一階邏輯等價式中,哪一個是錯的。()
5、BAA??xB(x)??x(A?B(x))B?x(A(x)?B(x))??xA(x)??xB(x)C?x(A(x)?B(x))??xA(x)??xB(x)D??xA(x)??x(?A(x))9在謂詞演算中,下列各式中,哪式是正確的()。BAB)()(yxxAyyxyAx?????)()(yxxAyyxyAx?????CD)()(yxyAxyxyAx?????()()xyAxyyxBxy?????10設(shè)論域?yàn)檎麛?shù)集,下列公式中哪個值為假(
6、)DAB)0(????yxy?)2(????yxxyCD)(zyxzyx?????(()1)xyxy????11設(shè)I是如下一個解釋:D=ab0101b)P(ba)P(bb)P(a)(aaP則在解釋I下取真值為1的公式是().DA?x?yP(xy)B?x?yP(xy)C?xP(xx)D?x?yP(xy).12謂詞公式(?x)P(xy)∧(?x)(Q(xz)?(?x)(?y)R(xyz))中量詞?x的轄域是()AA(Q(xz)?(?x)(?
7、y)R(xyz))BQ(xz),R(xyz)CQ(xz)?(?y)R(xyz)DQ(xz)13.謂詞公式中變元χ是()D)()()((xQyyRxpx????A自由變元B既不是自由變元也不是約束變元C約束變元D既是自由變元又是約束變元14.一階邏輯公式?x(F(xy)∧G(yz))→?zF(zy)是()CA.前束范式B.封閉公式C.永真式D.永假式15一階邏輯公式?xP(x)??xP(x)是()AA.永真的B.永假的C.可滿足的D.前束
8、范式.16.一階邏輯公式?xP(x)??yQ(y)的前束范式是(d)A.?x?y(P(x)?Q(y))B.??xP(x)∨?yQ(y)C.?x?y?P(x)∨Q(y)D.?x?y(P(x)?Q(y))第三章第三章集合的基本概念和運(yùn)算集合的基本概念和運(yùn)算1下列式子中正確的是()DA?=0;B???;C?=?;D??{?}2下列各式中哪個是錯的(B)A、???;B、???;C、??{?};D、???。3下列命題正確的是()。AA???=?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. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(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ù)學(xué)選擇題題庫及答案
- 離散數(shù)學(xué)選擇題題庫及答案分解
- 離散數(shù)學(xué)
- 離散數(shù)學(xué)題庫證明題
- 離散數(shù)學(xué)緒論
- 離散數(shù)學(xué) 7
- 離散數(shù)學(xué)基礎(chǔ)
- 離散數(shù)學(xué)a答案
- 離散數(shù)學(xué)謂詞
- 離散數(shù)學(xué)圖論
- 離散數(shù)學(xué)高等里離散數(shù)學(xué)-課件-chapt15
- 離散數(shù)學(xué)答案
- 離散數(shù)學(xué)答案
- 范式--離散數(shù)學(xué)
- 離散數(shù)學(xué) 2
- 離散數(shù)學(xué)符號
- 考研數(shù)學(xué)選擇題
- 離散數(shù)學(xué)discretemathematics
- 離散數(shù)學(xué)例題
- 離散數(shù)學(xué)1.5
評論
0/150
提交評論