離散數學運算法則及例題_第1頁
離散數學運算法則及例題_第2頁
離散數學運算法則及例題_第3頁
全文預覽已結束

下載本文檔

版權說明：本文檔由用戶提供并上傳，收益歸屬內容提供方，若內容存在侵權，請進行舉報或認領

文檔簡介

本文格式為Word版，下載可任意編輯——離散數學運算法則及例題第一章命題規(guī)律

1,否定

?P讀作非PP?PTFFT2,合取(*)P∧Q讀作“P且Q〞，“P合取Q〞。PQP∧QTTTTFFFTFFFF合取的性質1)冪等律p∧p?p

2)交換律p∧q?q∧p

3)結合律（p∧q）∧r?p∧(q∧r)4)零律p∧F?F5)同一律p∧T?p6)否定律p∧?p?F3,析取(+)

P∨Q，讀作“P或Q〞，“P析取Q〞。PQP∨QTTTTFTFTTFFF析取的性質1)冪等律2)交換律3)結合律4)同一律5)零律6)否定律7)吸收律8)分派律9)德、摩根律4,蘊含

P→Q讀作“P蘊含Q〞，“假使P則Q〞，“當P，則Q〞，“P件〞。PQP→QTT是Q的充分條TFFTFF5,等價P?Q讀作“P等價于Q〞，“P當且僅當Q〞，“P是Q的充要條件〞。

PQP?QTTTFFFTF等價的性質1.1)交換律2.2)結合律

3.說明：1)?是規(guī)律聯結詞，而?是公式關系符。A、B是命題，A?B仍是命題，而A?B不是命題。(2)P、Q兩命題，沒有內在聯系P?Q仍有意義。例：2+2=5的充要條件是太陽從西邊升起。該命題為真幾個重要定理

?1.若A?B，B?C，則A?C.傳遞性

?2.A?B的充要條件是A?B且B?A(規(guī)律等價的另一種定義）其他的連接詞符號?或非詞符號

?定理:A↓B等價于?(AVB)?定理:{↓}是功能完備集?與非詞符號

?定理:A↑B等價于?(A∧B)?定理:{↑}是功能完備集?異或詞符號

?舉例說明:周末,我或者在北京或者在上海?定理:A異或B等價于?(A?B)

其次章謂詞規(guī)律

謂詞演算的推理規(guī)則

?US全稱指定規(guī)則（消去量詞）

?UG全稱推廣規(guī)則對命題量化（添加量詞）?ES存在指定規(guī)則（消去量詞）?EG存在推廣規(guī)則（添加量詞）

第三章集合第四章關系

（R?S）

（R·S）2=（R·S）·（R·S）=R·（S·R）·SR-1

?逆運算的性質

?定理：設R和S均是A到B的關系，則?（1）（R-1）-1=R，

?（2）（R∪S）-1=R-1∪S-1，?（3）（R∩S）-1=R-1∩S-1，?（4）（R-S）-1=R-1-S-1，?（5）（~R）-1=~(R-1),（A×B）-1=B×A?（6）ФA-1=ФA，EA-1=EA,IA-1=IA?（7）R=SiffR-1=S-1。

?(8)（R-S）-1=（R∩?S）-1=R-1∩（?S）-1=R-1∩?S-1=R-1-S-1EG:

如|A|=n，A上自反關系共有?個|A×A|=n2

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網頁內容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網僅提供信息存儲空間，僅對用戶上傳內容的表現方式做保護處理，對用戶上傳分享的文檔內容本身不做任何修改或編輯，并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容，請與我們聯系，我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論