版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
1、1-3命題公式與翻譯命題公式與翻譯1-3.1 命題公式命題公式 p,p q,(p q) (pq)都是復(fù)合命都是復(fù)合命題。若題。若p和和q是命題變元,則上述各式均是命題變元,則上述各式均稱作命題公式。稱作命題公式。 p和和q稱為命題公式的分稱為命題公式的分量。量。命題公式是沒有確定的真值的,僅當(dāng)命題公式是沒有確定的真值的,僅當(dāng)在一個公式中命題變元用確定的命題代入在一個公式中命題變元用確定的命題代入時,才能得到一個命題。時,才能得到一個命題。1-3.1 命題公式命題公式定義定義1-3.1 命題演算的合式公式(命題演算的合式公式(wff)(well formed formula)(1)單個命題變元本
2、身是一個合式公式。單個命題變元本身是一個合式公式。(2)如果如果a是合式公式,那么是合式公式,那么 a是合式公式。是合式公式。(3)如果如果a和和b是合式公式,那么是合式公式,那么(a b), (a b), (ab), (a b)是合式公式。是合式公式。(4)當(dāng)且僅當(dāng)能夠有限次地應(yīng)用當(dāng)且僅當(dāng)能夠有限次地應(yīng)用(1)、(2)、(3)所得到的包含命題變元、聯(lián)結(jié)詞和括號的符所得到的包含命題變元、聯(lián)結(jié)詞和括號的符號串是合式公式。號串是合式公式。1-3.1 命題公式命題公式注:這是一個遞歸方式的定義(遞歸定義)注:這是一個遞歸方式的定義(遞歸定義) (1)是遞歸定義的基礎(chǔ))是遞歸定義的基礎(chǔ) (2)、()、
3、(3)是歸納)是歸納 (4)是遞歸的界限)是遞歸的界限例:例: (p q)就不是合式公式就不是合式公式聯(lián)結(jié)詞的運(yùn)算次序:聯(lián)結(jié)詞的運(yùn)算次序:(1)使用括號使用括號(2) 規(guī)定運(yùn)算符運(yùn)算優(yōu)先次序:規(guī)定運(yùn)算符運(yùn)算優(yōu)先次序: , , , ,1-3.2 翻譯翻譯例例1. 除非你努力,否則你將失敗。除非你努力,否則你將失敗。解:設(shè)解:設(shè)p:你努力。:你努力。 q:你將失敗。:你將失敗。原命題可以符號化為:原命題可以符號化為: p q例例2. 除非除非(僅當(dāng)僅當(dāng))我有時間,我才去看電影。我有時間,我才去看電影。解:設(shè)解:設(shè)p:我有時間。:我有時間。 q:我去看電影。:我去看電影。原命題可以符號化為:原命題可
4、以符號化為: p q 或化為:或化為:qp例例3. 如果你和他都不固執(zhí)己見的話,那么不愉快如果你和他都不固執(zhí)己見的話,那么不愉快的事也不會發(fā)生了。的事也不會發(fā)生了。解:設(shè)解:設(shè)p:你固執(zhí)己見。:你固執(zhí)己見。 q:他固執(zhí)己見。:他固執(zhí)己見。 r:不愉快的事也不會發(fā)生了:不愉快的事也不會發(fā)生了原命題可以符號化為:(原命題可以符號化為:( pq)r例例4. 如果你和他不都是固執(zhí)己見的話,那么不愉如果你和他不都是固執(zhí)己見的話,那么不愉快的事也不會發(fā)生了??斓氖乱膊粫l(fā)生了。解:設(shè)解:設(shè)p:你固執(zhí)己見。:你固執(zhí)己見。 q:他固執(zhí)己見。:他固執(zhí)己見。 r:不愉快的事也不會發(fā)生了:不愉快的事也不會發(fā)生了原命
5、題可以符號化為:原命題可以符號化為: (p q)r作業(yè)(1-3)p12. (5)1-4真值表與等價(jià)公式真值表與等價(jià)公式定義定義1-4.1真值表:真值表: 對于給定的命題公式,對其分量進(jìn)對于給定的命題公式,對其分量進(jìn)行所有可能的真值指派得到該公式的相行所有可能的真值指派得到該公式的相應(yīng)的真值取值情況,將其匯列成表,稱應(yīng)的真值取值情況,將其匯列成表,稱做該命題公式的真值表。做該命題公式的真值表。例:給出例:給出 (pq)的的真值表。真值表。pqpq(pq)tttftfftfttffftf1-4 真值表與等價(jià)公式真值表與等價(jià)公式在真值表中,命題公式真值的取值數(shù)目,在真值表中,命題公式真值的取值數(shù)目,
6、決定于分量的個數(shù)。決定于分量的個數(shù)。n個命題變元組成的個命題變元組成的命題公式有命題公式有2n種真值情況。種真值情況。定義定義1-4.2 永真公式永真公式 永假公式:永假公式: 無論對其分量作怎樣的真值指派,其無論對其分量作怎樣的真值指派,其真值永為真值永為t,稱為永真公式,記為,稱為永真公式,記為t 。 無論對其分量作怎樣的真值指派,其無論對其分量作怎樣的真值指派,其真值永為真值永為f,稱為永假公式,記為,稱為永假公式,記為f 。 1-4 真值表與等價(jià)公式真值表與等價(jià)公式定義定義1-4.3 等價(jià)等價(jià)(equivalent)公式:公式: 設(shè)設(shè)a和和b是兩個命題公式,是兩個命題公式,p1,p2,
7、pn是出現(xiàn)在是出現(xiàn)在a和和b中的所有原子變元,若對中的所有原子變元,若對p1,p2,pn的任何真值指派,的任何真值指派, a和和b真值相真值相同,稱同,稱a和和b等價(jià)或邏輯相等。記作等價(jià)或邏輯相等。記作ab。 要證明兩個命題公式等價(jià),可用:要證明兩個命題公式等價(jià),可用:(1)真值表法)真值表法(2)等價(jià)命題定律。)等價(jià)命題定律。1-4 真值表與等價(jià)公式真值表與等價(jià)公式例例: pq p q p q (pq) (qp) p q (p q) ( pq)p15 表表1-4.8 命題定律命題定律1-4 真值表與等價(jià)公式真值表與等價(jià)公式定義定義1-4.4 子公式子公式設(shè)設(shè)a是一個命題公式,是一個命題公式,
8、x是是a的一部分且的一部分且x本身也是公本身也是公式,則稱式,則稱x為公式為公式a的子公式。的子公式。定理定理1-4.1(等價(jià)置換)(等價(jià)置換)設(shè)設(shè)a是一個命題公式,是一個命題公式,x是是a的一個子公式,若公式的一個子公式,若公式y(tǒng)與與x等價(jià),用等價(jià),用y置換置換a中的中的x得到一個公式得到一個公式b,則,則 a b??捎谜嬷当矸ǖ米C可用真值表法得證1-4 真值表與等價(jià)公式例:例:證明證明 q q( (p p ( (p p q) q) q qp p證明:應(yīng)用吸收律證明:應(yīng)用吸收律 p p ( (p p q) q) p p 左邊左邊 q qp p 得證!得證!1-4 真值表與等價(jià)公式p19 (7) a) p19 (7) a) 證明證明 a a( (b ba) a) a a(a(a b)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)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 新形勢下工藝品行業(yè)可持續(xù)發(fā)展戰(zhàn)略制定與實(shí)施研究報(bào)告
- 2025-2030年中國生活性服務(wù)行業(yè)資本規(guī)劃與股權(quán)融資戰(zhàn)略制定與實(shí)施研究報(bào)告
- 自動扶梯施工方案
- 中學(xué)教學(xué)常規(guī)要求
- 測你在床上的真實(shí)風(fēng)格究竟是啥
- 真空采血管使用情況調(diào)研
- 無塵室系統(tǒng)行業(yè)行業(yè)發(fā)展趨勢及投資戰(zhàn)略研究分析報(bào)告
- 2024-2027年中國超休閑游戲行業(yè)發(fā)展監(jiān)測及投資戰(zhàn)略研究報(bào)告
- 監(jiān)控器安裝知識培訓(xùn)課件
- 車輛汽修知識培訓(xùn)課件
- (八省聯(lián)考)河南省2025年高考綜合改革適應(yīng)性演練 思想政治試卷(含答案)
- 綜合測試 散文閱讀(多文本)(解析版)-2025年高考語文一輪復(fù)習(xí)(新高考)
- 鈑金設(shè)備操作培訓(xùn)
- 2024駕校經(jīng)營權(quán)承包合同
- 福建省能化集團(tuán)筆試題目
- 快遞公司與驛站合作協(xié)議模板 3篇
- 水利工程招標(biāo)文件樣本
- 品質(zhì)管控培訓(xùn)質(zhì)量管理與質(zhì)量控制課件
- 小數(shù)加減乘除計(jì)算題大全(300題大全)-
- 2023-2024學(xué)年小學(xué)語文四年級素養(yǎng)檢測復(fù)習(xí)試題附答案
- 露天礦山全員安全教育培訓(xùn)
評論
0/150
提交評論