版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)
文檔簡介
1、第1章命題邏輯1#include#include#include#defineMAX_STACK_SIZE100typedefintElemTypetypedefstructElemTypedata[MAX_STACK_SIZE]inttopStackvoidInitStack(StackS)Stop=1intPush(StackSElemTypex)if(Stop==MAX_STACK_SIZE1)printf(“nStackisfu
2、ll!“)return0StopSdata[Stop]=xreturn1intEmpty(StackS)return(Stop==1)intPop(StackSElemTypex)if(Empty(S))printf(“nStackisfree!“)return0x=Sdata[Stop]Stopreturn1voidconversion(intN)inteStackS=(Stack)malloc(sizeof(Stack))InitS
3、tack(S)while(N)第1章命題邏輯3(3)是命題公式。(4)是命題公式。(5)不是命題公式,因為QR沒有意義。(6)不是命題公式,因為R?(Q?R)?(P?Q)沒有意義。3.將下列命題符號化:(1)我們不能既劃船又跑步。(2)我去新華書店,僅當我有時間。(3)如果天下雨,我就不去新華書店。(4)除非天不下雨,我將去新華書店。(5)張明或王平都可以做這件事。(6)“2或4是素數(shù),這是不對的”是不對的。(7)只有休息好,才能工作好
4、。(8)只要努力學習,成績就會好的。(9)大雁北回,春天來了。(10)小張是山東人或河北人。解(1)符號化為?(P∧Q),其中,P:我們劃船,Q:我們跑步。(2)符號化為Q?R,其中,R:我有時間,Q:我去新華書店。(3)符號化為P??Q,其中,P:天下雨,Q:我去新華書店。(4)符號化為?P?Q,其中,P:天下雨,Q:我去新華書店。(5)符號化為P∧Q,其中,P:張明可以做這件事,Q:王平可以做這件事。(6)符號化為?(?(P∨Q))
5、,“2或4是素數(shù),這是不對的”是不對的,其中,P:2是素數(shù),Q:4是素數(shù),。(7)符號化為Q?P,其中,P:休息好,Q:工作好。(8)符號化為P?Q,其中,P:努力學習,Q:成績就會好的。(9)符號化為P?Q,其中,P:大雁北回,Q:春天來了。(10)符號化為P?Q,其中,P:小張是山東人,Q:小張是河北人。4.構(gòu)造下列命題公式的真值表,并據(jù)此說明哪些是其成真賦值,哪些是其成假賦值?(1)?(P∨?Q)。(2)P∧(Q∨R)。(3)?(
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權(quán)或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 離散數(shù)學第1章習題
- 離散數(shù)學第1章習題課
- 離散數(shù)學第7章-圖論-習題
- 離散數(shù)學第1章屈
- 離散數(shù)學第2章第1節(jié)
- 離散數(shù)學課件第1章
- 離散數(shù)學第5章
- 離散數(shù)學第7章
- 離散數(shù)學第4章
- 第01章-離散數(shù)學
- 離散數(shù)學習題答案-
- 離散數(shù)學第8章圖論
- 離散數(shù)學第4章屈
- 離散數(shù)學習題答案
- 離散數(shù)學第1章命題邏輯new
- 離散數(shù)學-第8章-函數(shù)
- 離散數(shù)學習題答案-2015
- 離散數(shù)學第2.1陳瑜 1
- 離散數(shù)學課件第6章
- 離散數(shù)學高教版第3章
評論
0/150
提交評論