自考離散數(shù)學教程_第1頁
自考離散數(shù)學教程_第2頁
自考離散數(shù)學教程_第3頁
自考離散數(shù)學教程_第4頁
自考離散數(shù)學教程_第5頁
已閱讀5頁，還剩108頁未讀， 繼續(xù)免費閱讀

下載本文檔

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

文檔簡介

1、1.5 聯(lián)結詞的擴充與功能完全組聯(lián)結詞的擴充與功能完全組表 1.1.1 的定義PP1001表 1.1.2 的定義P QPQ0 00 11 01 10001表表 1.1.3 的定義的定義P QP Q0 00 11 01 10111表表 1.1.4 的定義的定義P QPQ0 00 11 01 11101系，這系，這種條件式稱為實質(zhì)條件命題。種條件式稱為實質(zhì)條件命題。表表 1.1.5 的定義的定義P QPQ0 00 11 01 11001P QP Q P Q P Q P Q0 00 11 01 11 1 0 01 0 0 11 0 1 10 0 0 0222P QF TP QP Q P QP QP

2、QP Q0 00 11 01 10000111100110101110010100001111001111000所用所用的聯(lián)的聯(lián)結詞結詞 序號序號12345678910續(xù)表P QPQP QPQP QQPQ P0 00 11 01 1110100101001011010110100所用所用的聯(lián)的聯(lián)結詞結詞 序號序號111213141516 表表 1.7.1 兩兩個個命命題題變變元元的的小小項項真真值值表表m(二二) m00 m01 m10 m11P Q P Q P Q P Q P Q0 0 1 0 0 00 1 0 1 0 01 0 0 0 1 01 1 0 0 0 1m(+) m0 m1 m2

3、 m3 表表 1.7.2 3 個命題變元的小項真值表個命題變元的小項真值表m(二二)m000m001m010m011P Q R P Q R P Q R P Q R P Q R0 0 010000 0 101000 1 000100 1 100011 0 000001 0 100001 1 000001 1 10000m(+)m0m1m2m3 續(xù)表續(xù)表m(二二)m100m101m110m111P Q RP Q RP Q RP Q RP Q R0 0 000000 0 100000 1 000000 1 100001 0 010001 0 101001 1 000101 1 10001m(+)m4m5m6m7ni 1表表 1.7.3 兩個命題變元的大項真值表兩個命題變元的大項真值表M00M01M10M11M(二二) Mi I(Mi)P QP QP Q P Q P Q0 00 11 01 10111101111011110M(+)M0M1M2M31jm2jmknjm21jm2jmknjm21jm2jmknjm21jm2jmknjm21jm2jmknjm21jM2jMknjM2定理定理1.8.3 設設H1，H2，Hn，C為公式，為公式，且且H1，H2，Hn是相容的。

溫馨提示

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

評論

0/150

提交評論