2023年全國(guó)碩士研究生考試考研英語(yǔ)一試題真題(含答案詳解+作文范文)_第1頁(yè)
已閱讀1頁(yè),還剩49頁(yè)未讀, 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡(jiǎn)介

1、習(xí)題一1、利用邏輯聯(lián)結(jié)詞把下列命題翻譯成符號(hào)邏輯形式(1)他既是本片的編劇,又是導(dǎo)演P∧Q(2)銀行利率一降低,股價(jià)隨之上揚(yáng)P→Q(3)盡管銀行利率降低,股價(jià)卻沒(méi)有上揚(yáng)P∧Q(4)占據(jù)空間的、有質(zhì)量而且不斷變化的對(duì)象稱為物質(zhì)M??(S∧P∧T)(5)他今天不是乘火車(chē)去北京,就是隨旅行團(tuán)去了九寨溝P▽Q(6)小張身體單薄,但是極少生病,并且頭腦好使P∧Q∧R(7)不識(shí)廬山真面目,只緣身在此山中P→Q(解釋:因?yàn)樯碓诖松街?,所以不識(shí)廬山真面

2、目)(8)兩個(gè)三角形相似,當(dāng)且僅當(dāng)他們的對(duì)應(yīng)角相等或者對(duì)應(yīng)邊成比例S??(E∨T)(9)如果一個(gè)整數(shù)能被6整除,那么它就能被2和3整除。如果一個(gè)整數(shù)能被3整除,那么它的各位數(shù)字之和也能被3整除解:設(shè)P–一個(gè)整數(shù)能被6整除Q–一個(gè)整數(shù)能被2整除R–一個(gè)整數(shù)能被3整除S–一個(gè)整數(shù)各位數(shù)字之和能被3整除翻譯為:(P→(Q∧R))∧(R→S)2、判別下面各語(yǔ)句是否命題,如果是命題,說(shuō)出它的真值(1)BASIC語(yǔ)言是最完美的程序設(shè)計(jì)語(yǔ)言Y,TF(

3、2)這件事大概是小王干的N(3)x2=64N(4)可導(dǎo)的實(shí)函數(shù)都是連續(xù)函數(shù)Y,TF(5)我們要發(fā)揚(yáng)連續(xù)作戰(zhàn)的作風(fēng),再接再厲,爭(zhēng)取更大的勝利N(6)客觀規(guī)律是不以人們意志為轉(zhuǎn)移的Y,T(7)到2020年,中國(guó)的國(guó)民生產(chǎn)總值將趕上和超過(guò)美國(guó)Y,NA(8)凡事都有例外Y,F(xiàn)3、構(gòu)造下列公式的真值表,并由此判別哪些公式是永真式、矛盾式或可滿足式(1)(P∨(~P∧Q))→Q解:PQ~P∧QP∨(~P∧Q)(P∨(~P∧Q))→Q可滿足式0000

4、1011111001011011(2)~(4)略4、利用真值表方法驗(yàn)證下列各式為永真式(1)~(8)略5、證明下列各等價(jià)式(1)~((~P∧Q)∨(~P∧~Q))∨(P∧Q)?P證明:左式?((P∨~Q)∧(P∨Q))∨(P∧Q)?P∨(P∧Q)∨(P∧~Q)∨T∨(P∧Q)?P?右式(2)(P→Q)∧(R→Q)?(P∨R)→Q(1)(P∧Q)∨~P解:原式?((P↑Q)↑(P↑Q))∨(P↑P)?(((P↑Q)↑(P↑Q))↑((P↑

5、Q)↑(P↑Q)))↑((P↑P)↑(P↑P))(2)P→(~P→Q)解:原式?~P∨P∨Q?Q?(Q↑Q)↑(Q↑Q)(3)(P→(Q∨~R))∧~P解:原式?(~P∨~Q∨R)∧~P?~P∨(~Q∧~P)∨(R∧~P)?(P↑P)∨((Q↑Q)∧(P↑P))∨(R∧(P↑P))?(P↑P)∨(((Q↑Q)↑(P↑P))↑((Q↑Q)↑(P↑P)))∨((R↑(P↑P))↑(R↑(P↑P)))設(shè):(P↑P)=N(((Q↑Q)↑(P↑P

6、))↑((Q↑Q)↑(P↑P)))=L((R↑(P↑P))↑(R↑(P↑P)))=M則上式?(((N↑N)↑(L↑L))↑((N↑N)↑(L↑L)))↑(M↑M)(4)~P∧~Q∧(~R→P)解:原式?~P∧~Q∧(R∨P)?(P↑P)∧(Q↑Q)∧((P↑P)↑(R↑R))?(((P↑P)↑(Q↑Q))↑((P↑P)↑(Q↑Q)))∧((P↑P)↑(R↑R))設(shè):(((P↑P)↑(Q↑Q))↑((P↑P)↑(Q↑Q)))=N((P↑P

7、)↑(R↑R))=M則上式?(N↑M)↑(N↑M)9、證明:~→是最小功能完備集合證明:因?yàn)椤攀亲钚」δ芡陚浼纤匀绻鼙硎境觥艅t其是功能完備集合。由于P∨Q?(~P)→Q所以~→是功能完備集合。因?yàn)椤荒芟嗷ケ硎?,所以~→是最小功能完備集合;同理可證:非,條件非也能將或表示出來(lái):P∨Q?~(~P!→Q)10、證明:~,▽不是功能完備集證明:P∨Q沒(méi)有辦法通過(guò)~,▽的公式表達(dá)出來(lái),因?yàn)镻QP∨QP▽P~(P▽P)P▽Q0000

溫馨提示

  • 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ù)僅提供信息存儲(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ì)自己和他人造成任何形式的傷害或損失。

評(píng)論

0/150

提交評(píng)論