版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、2006/2007 年秋季學(xué)期數(shù)理邏輯試題( B 卷) 適用班級(jí)(0404101 16, 0404201 1-2)一:判別下列各句是否為命題,在括號(hào)中回答T 與F1)8 小于 102)8 大于 10(T )(T )(F )(T )(T )(T )(T )3)期中期中如果如果吸煙,沒有考及格了和都考及格了考 90 分,那么也能考 90 分考上當(dāng)且僅當(dāng)也能考上8)我正在說謊 9)x 大于 y10)請(qǐng)進(jìn)來(F(F(F)二:根據(jù)題意將下列句子表示成符號(hào)公式即: 設(shè)域是整數(shù),并以 N(x)表示“x 為非負(fù)整數(shù)”, E(x)表示“x 是偶數(shù),Q(x)表示“x 是奇數(shù),P(x)表示“x 是素?cái)?shù),請(qǐng)將下列論斷
2、寫成謂詞公式1)存在一個(gè)偶數(shù)解:x E(x) 2)每個(gè)整數(shù)是偶數(shù)或奇數(shù)解:=(PQ)P=(PQ)P=(QP)P=(Q(PP)=QT=T2)請(qǐng)使用逐次指派法證明公式永假(PQ)QP解:=(PQ)QP=(PQP)(QQ P)=FF=F下列公式的1)四.變?cè)c約束變?cè)?2 分)五.對(duì)下列命題和謂詞變?cè)M(jìn)行代入1)=BT= TB=B故此簡(jiǎn)化為:ifBthenxeldey2).請(qǐng)給出將 1 中程段化簡(jiǎn)前的流程圖TFATFTFBBXY3)請(qǐng)給出將 1 中程段化簡(jiǎn)后的流程圖TFAXY七.根據(jù)題意做出推導(dǎo)1)寫出下列公式的對(duì)偶式與內(nèi)否式(pq)(qr)(pr)解 :=(P q)(qr)(pr)=(P q)(qr)(pr)=(P q)(qr)(pr)對(duì)偶式為:(Pq)(qr)(pr)內(nèi)否式為:( P q)(q r)(p2)寫出下列公式的導(dǎo)出規(guī)則(8 分)(p(pq)(pq)解 : =(P(Pq)(pq)r)=(P(Pq)(pq)=(P(Pq)(pq)=(P(Pq)(pq)=(PPq)(pq)=T(pq)=q(pq)=(qp)()=(qp)(q八.請(qǐng)改正下面程序錯(cuò)誤(18 分)根據(jù)定義程序可以描述如下: programp:reaf(x):INAP(x)BODYPouTAP(x,y,z,)WriteEnd(y)4 分)(4 分)(4 分)(4 分)(2 分)找出程序錯(cuò)誤點(diǎn)的分?jǐn)?shù)為
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝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ù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(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ì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 統(tǒng)編版語文七年級(jí)上冊(cè)(2024)第8課《詠雪》教學(xué)設(shè)計(jì)
- 出版物鑒定管理辦法
- 教師招聘考試中學(xué)教育理論綜合知識(shí)題庫(kù)6含答案
- 《機(jī)器學(xué)習(xí)-Python實(shí)戰(zhàn)(微課版)》課件 綜合案例2 線性回歸
- 2024法院離婚起訴協(xié)議書范文正版
- 《計(jì)算機(jī)網(wǎng)絡(luò)安全防護(hù)技術(shù)(第二版)》 課件 第7章 任務(wù)7.3 CSRF漏洞攻擊與防御
- 【課件】第四章+光現(xiàn)象+第3節(jié)+平面鏡成像-人教版物理八年級(jí)上冊(cè)
- 涂飾工程冬季施工方案
- 崗前安全培訓(xùn)試題及答案新
- 公司職工安全培訓(xùn)試題(培優(yōu)B卷)
- 【課件】美術(shù)鑒賞的過程與方法+課件-2024-2025學(xué)年高中美術(shù)人美版(2019)美術(shù)鑒賞
- 2023年嘉興市產(chǎn)業(yè)發(fā)展集團(tuán)有限公司招聘筆試真題
- 2024-2030年中國(guó)港口碼頭行業(yè)深度分析及發(fā)展戰(zhàn)略研究咨詢報(bào)告
- 第三單元測(cè)試卷-2024-2025學(xué)年統(tǒng)編版語文四年級(jí)上冊(cè)
- 環(huán)保潔凈型煤采購(gòu) 投標(biāo)方案(技術(shù)方案)
- 北師大版五年級(jí)上冊(cè)四則混合運(yùn)算300道及答案
- 1.4給植物畫張像(33張)
- 2023年廣西交通運(yùn)輸學(xué)校招聘實(shí)名編制工作人員考試真題及答案
- Unit 2 Lesson 3 Running and Fitness 教學(xué)設(shè)計(jì)-2024-2025學(xué)年高中英語北師大版(2019)必修第一冊(cè)
- 2024年全國(guó)職業(yè)院校技能大賽高職組(現(xiàn)代化工HSE技能賽項(xiàng))考試題庫(kù)-上(單選題)
- 2024年秋季新人教版七年級(jí)上冊(cè)地理全冊(cè)教學(xué)課件(新版教材)
評(píng)論
0/150
提交評(píng)論