如何記住離散數學中的推理定律

⑴ 離散數學推理理論

- -！ 一看就知道你沒看書

E 就是基本等價關系
I 就是推理定律
P 是你引入的前提
T 是你根據哪段 推出的 就T（n）
主要是你要記住 E I 這些公式 好像有 40條左右吧 化簡化簡 其實也沒多少條 要記的
看點書就行了 看上去復雜 其實很簡單的

⑵ 怎樣學好離散數學

如何學好離散數學
離散數學是現代數學的一個重要分支，是計算機科學中基礎理論的核心課程。離散數學以研究離散量的結構和相互間的關系為主要目標，其研究對象一般地是有限個或可數個元素，因此他充分描述了計算機科學離散性的特點。由於離散數學在計算機科學中的重要性，因此，許多大學都把它作為研究生入學考試的專業課程中的一門，或者是一門中的一部分。
作為計算機系的一門課程，離散數學有與其它課程相通相似的部分，當然也有它自身的特點，現在我們就它作為考試內容時具有的特點作一個簡要的分析。
1、定義和定理多。
離散數學是建立在大量定義上面的邏輯推理學科。因而對概念的理解是我們學習這門學科的核心。在這些概念的基礎上，特別要注意概念之間的聯系，而描述這些聯系的實體則是大量的定理和性質。
在考試中的一部分內容就是考察大家對定義和定理的識記、理解和運用。如2002年上海交通大學的試題，問什麼是相容關系。如果知道的話，很容易得分；如果不清楚，那麼無論如何也得不到分數的。這類型題目往往因其難度低而在復習中被忽視。實際上這是一種相當錯誤的認識，在研究生入學考試的專業課試題中，經常出現直接考查對某知識點的識記的題目。對於這種題目，考生應該能夠准確、全面、完整地再現此知識點。任何的模糊和遺漏，都會造成極為可惜的失分。我們建議讀者，在復習的時候，對重要知識的記憶，務必以上面提到的「准確、全面、完整」為標准來要求自己，不能達到，就說明還不過關，還要下工夫。關於這一點，在後續章節中我們仍然會強調，使之貫穿於整個離散數學的復習過程中。
離散數學的定義主要分布在集合論的關系和函數部分，還有代數系統的群、環、域、格和布爾代數中。一定要很好地識記和理解。
2、方法性強。
離散數學的證明題中，方法性是非常強的，如果知道一道題用怎樣的方法證明，很輕易就可以證出來，反之則事倍功半。所以在平常復習中，要善於總結，那麼遇到比較陌生的題也可以游刃有餘了。在本書中，我們為讀者總結了不少解題方法。讀者首先應該熟悉並且會用這些方法。同時我們還鼓勵讀者勤於思考，對於一道題，盡可能地多探討幾種解法。
3、有窮性。
由於離散數學較為「呆板」，出新題比較困難，不管什麼考試，許多題目是陳題，或者稍作變化的來的。「熟讀唐詩三百首，不會做詩也會吟。」如果拿到一本習題集，從頭到尾做過，甚至背會的話。那麼，在考場上就會發現絕大多數題見過或似曾相識。這時，要取得較好的成績也就不是太難的事情了。
本書是專門針對研究生入學考試而編寫的，適合於讀者對研究生入學考試的復習。如果還有時間的話，我們可以推薦兩本習題集。一本是左孝凌老師等編寫的《離散數學理論、分析、題解》，另一套有三本，是耿素雲老師等編寫的《離散數學習題集》。這兩套書大多數題都是相同的，只是由於某些符號和定義的不同，使得題目的設定和解法有些不同而已。
現在我們就分析一下研究生入學考試有哪些題型，以及我們應如何應付。
1、基礎題
基礎題就是考察對定義的識記，以及簡單的證明和推理。題目主要集中在數理邏輯部分和集合論部分。這些題目不需要思考，很容易上手。
這一部分的題目主要問題是要防止粗心大意和對定義記憶似是而非而丟的分數。不重視這一點的人將會在考試中吃大虧。如在主合取範式中，極大項編碼對應的指派與真值表對應的指派相反，這一點在許多的參考書里也會犯錯誤；還有是要防止沒有按照一定的方法而引起的錯誤，如我們在數理邏輯或者集合論里作等價推演，可以省略若干不重要的步驟，只要老師和考生都清楚就可以了，而在推理理論里則不能省略任何步驟，否則被認為是邏輯錯誤。
我們在學習中，還要注意融會貫通，例如，數理邏輯和集合論是相通的，因此記憶或者總結方法的時候可以綜合起來，這樣便於比較和理解。
2、定理應用題
本部分是最「死」的一部分，它主要體現了離散數學的方法性強的特點。並且這一部分佔了考試內容的大部分，我們必須在這一部分下功夫，記住了各種方法，也就拿到了離散數學的大部分分數。
下面我們就列出常用的幾種應用：
●證明等價關系：即要證明關系有自反、對稱、傳遞的性質。
●證明偏序關系：即要證明關系有自反、反對稱、傳遞的性質。（特殊關系的證明就列出來兩種，要證明剩下的幾種只需要結合定義來進行）。
●證明滿射：函數f：XY，即要證明對於任意的yY，都有xX，使得f(x)=y。
●證明入射：函數f：XY，即要證明對於任意的x1、x2X，且x1≠x2，則f(x1) ≠f(x2)；或者對於任意的f(x1)=f(x2)，則有x1=x2。
●證明集合等勢：即證明兩個集合中存在雙射。有三種情況：第一、證明兩個具體的集合等勢，用構造法，或者直接構造一個雙射，或者構造兩個集合相互間的入射；第二、已知某個集合的基數，如果為א，就設它和R之間存在雙射f，然後通過f的性質推出另外的雙射，因此等勢；如果為א0，則設和N之間存在雙射；第三、已知兩個集合等勢，然後再證明另外的兩個集合等勢，這時，先設已知的兩個集合存在雙射，然後根據剩下題設條件證明要證的兩個集合存在雙射。
●證明群：即要證明代數系統封閉、可結合、有幺元和逆元。（同樣，這一部分能夠作為證明題的概念更多，要結合定義把它們全部搞透徹）。
●證明子群：雖然子群的證明定理有兩個，但如果考證明子群的話，通常是第二個定理，即設<G,*>是群，S是G的非空子集，如果對於S中的任意元素a和b有a*b-1S,則<S,*>是<G,*>的子群。對於有限子群，則可考慮第一個定理。
●證明正規子群：若<G,*>是一個子群，H是G的一個子集，即要證明對於任意的aG，有aH=Ha，或者對於任意的hH，有a-1 *h*aH。這是最常見的題目中所使用的方法。
●證明格和子格：子格沒有條件，因此和證明格一樣，證明集合中任意兩個元素的最大元和最小元都在集合中。
圖論雖然方法性沒有前幾部分的強，但是也有一定的方法，如最長路徑法、構造法等等。
3、難題
難題就是考試中比較難以下手，大多考生作不出來，用來拉開分數檔次的題。那麼，遇到難題我們怎麼下手分析呢？
難題主要有以下四種，我們來逐一進行分析：
①綜合題
綜合題就是內容涵蓋若干章的問題，這樣的題大多數是在群論裡面的陪集、拉格朗日定理、正規子群、商群這一部分中。這一部分結合的內容很多，而且既復雜又難理解，是整個離散數學中的難點。
首先拉格朗日定理把群和等價關系、劃分結合在一起，又與群的階數相掛鉤（在子群中有一部分階方面的題是比較難的題，它的解法依據就在此處）；然後商群將兩個群結合在一起，因為兩個群的元素是不同的，因此必須時刻概念清楚才不至於混亂；接著同餘關系把群和關系相結合，定義了一種新的關系；自然同態把正規子群和商群相聯系，也成為某些證明題的著眼處；核的定義和群同態定理給出了正規子群的另一種證明方法，因為核就是正規子群……
當然，綜合題不僅此一處，離散數學是一個融會貫通的學科，像集合論，圖論等都可能成為綜合題的命題點。
對於綜合題，我們可以從兩方面下手，首先不管題設如何，看所要證明的問題，按照定理應用的題型著眼，設出所需要的格式，然後進行進一步推演；其次可以先看題設，應用已知條件的性質定理向前推幾步，看看哪一個性質更能夠接近所問，題目也就迎刃而解了。
②例外題
例外題有兩個含義，首先是對於定理應用題而言的，對於一個概念的判定定理和性質定理不是唯一的，而定理應用題是給出的是最常出題的定理，因此有的考題可能考出一個不常用的定理。
其次例外題還有一種題型是與我們平常思維相悖的問題，如：有一些題目給出一個結論，說如果它正確的話請指出來，錯誤的話則請證明，憑做題經驗通常是要選擇證明的那條思路。其實也不妨用一些時間看看能不能指出來，從而不用證明。請看下面的例子：
③ 偏題
常常有的參考書會說某某章是非重點，不會考到之類的話，這是非常錯誤和有害的。其結果是令這些章成為讀者復習中的盲點，成為難題的又一種。這些章通常概念少，定理不多，因此題目本身不難。但由於沒有好好復習或者根本沒有復習，考試中又出了題目，故此拿不到分數則是非常令人懊喪的。所以我們建議讀者進行全面復習，除非是所報考院校明確說明不考的部分，其餘內容一律要認真復習。即使是復習時間比較少，也必須做到至少是了解了基本概念和定義。對於離散數學而言，函數一章中的基數部分和格和布爾代數一章是人們容易忽略的問題。
我們平時復習的時候，不管是什麼課程，一定不能留死角，而這些地方出的題目由於它的本身內容的局限性，又往往是非常簡單的。丟了十分可惜。
④ 錯題
專業課的題目是由較少老師出的，並不像基礎課那樣經過多方面的論證，因此出錯題也不奇怪（雖然非常非常之少），如果我們遇到了一道題目，經過我們判斷和推演得到相悖的答案，不要過分迷信題目的權威性，因為它可能是錯題。

下面講一下離散證明題的證明方法：
1、直接證明法
直接證明法是最常見的一種證明的方法，它通常用作證明某一類東西具有相同的性質，或者符合某一些性質必定是某一類東西。
直接證明法有兩種思路，第一種是從已知的條件來推出結論，即看到條件的時候，並不知道它怎麼可以推出結論，則可以先從已知條件按照定理推出一些中間的條件（這一步可能是沒有目的的，要看看從已知的條件中能夠推出些什麼），接著，選擇可以推出結論的那個條件繼續往下推演；另外一種是從結論反推回條件，即看到結論的時候，首先要反推一下，看看從哪些條件可以得出這個結論（這一步也可能是沒有目的的，因為並不知道要用到哪個條件），以此類推一直到已知的條件。通常這兩種思路是同時進行的。
2、反證法
反證法是證明那些「存在某一個例子或性質」，「不具有某一種的性質」，「僅存在唯一」等的題目。
它的方法是首先假設出所求命題的否命題，接著根據這個否命題和已知條件進行推演，直至推出與已知條件或定理相矛盾，則認為假設是不成立的，因此，命題得證。
3、構造法
證明「存在某一個例子或性質」的題目，我們可以用反證法，假設不存在這樣的例子和性質，然後推出矛盾，也可以直接構造出這么一個例子就可以了。這就是構造法，通常這樣的題目在圖論中多見。值得注意的是，有一些題目其實也是本類型的題目，只不過比較隱蔽罷了，像證明兩個集合等勢，實際上就是證明「兩個集合中存在一個雙射」，我們即可以假設不存在，用反證法，也可以直接構造出這個雙射。
4、數學歸納法
數學歸納法是證明與自然數有關的題目，而且這一類型的題目可以遞推。作這一類型題目的時候，要注意一點就是所要歸納內容的選擇。

⑶ 離散數學知識點有哪些

離散數學知識點介紹如下：

1、→，前鍵為真，後鍵為假才為假；＜—＞，相同為真，不同為假。

2、主析取範式：極小項（m)之和；主合取範式：極大項（M)之積。

3、求極小項時，命題變元的肯定為1，否定為0，求極大項時相反。

4、求極大極小項時，每個變元或變元的否定只能出現一次，求極小項時變元不夠合取真，求極大項時變元不夠析取假。

5、求範式時，為保證編碼不錯，命題變元最好按P，Q，R的順序依次寫。

6、真值表中值為1的項為極小項，值為0的項為極大項。

7、n個變元共有個極小項或極大項，這為（0~-1)剛好為化簡完後的主析取加主合取。

8、永真式沒有主合取範式，永假式沒有主析取範式。

9、推證蘊含式的方法（=>)：真值表法；分析法（假定前鍵為真推出後鍵為真，假定前鍵為假推出後鍵也為假）。

10、命題邏輯的推理演算方法：P規則，T規則。

⑷ 用離散數學的推理規則怎麼證明，P→Q,(￢Q∨R) ∧￢R,￢(￢P∧S)=>￢S

綜述：因為￢Q∨R = Q→R,並且￢（￢P∧S) = P∨￢S =￢S∨P = S→P,所以這兒看上去給定4個前提S→P, P→Q, Q→R和￢R要去證￢S.前3個前提蘊含S→R.又根據第4個前提，所以￢S。

離散數學（Discrete mathematics）是研究離散量的結構及其相互關系的數學學科，是現代數學的一個重要分支。離散的含義是指不同的連接在一起的元素，主要是研究基於離散量的結構和相互間的關系，其對象一般是有限個或可數個元素。離散數學在各學科領域，特別在計算機科學與技術領域有著廣泛的應用。

發展

隨著信息時代的到來，工業革命時代以微積分為代表的連續數學佔主流的地位已經發生了變化，離散數學的重要性逐漸被人們認識。離散數學課程所傳授的思想和方法，廣泛地體現在計算機科學技術及相關專業的諸領域，從科學計算到信息處理，從理論計算機科學到計算機應用技術，從計算機軟體到計算機硬體，從人工智慧到認知系統，無不與離散數學密切相關。

⑸ 離散數學基本知識

總結 離散數學知識點 命題邏輯
→，前鍵為真，後鍵為假才為假；<—>，相同為真，不同為假；
主析取範式：極小項(m)之和；主合取範式：極大項(M)之積；
求極小項時，命題變元的肯定為1，否定為0，求極大項時相反；
求極大極小項時，每個變元或變元的否定只能出現一次，求極小項時變元不夠合取真，求極大項時變元不夠析取假；
求範式時，為保證編碼不錯，命題變元最好按P,Q,R的順序依次寫；
真值表中值為1的項為極小項，值為0的項為極大項；
n個變元共有個極小項或極大項，這為(0~-1)剛好為化簡完後的主析取加主合取；
永真式沒有主合取範式，永假式沒有主析取範式；
推證蘊含式的方法(=>)：真值表法；分析法(假定前鍵為真推出後鍵為真，假定前鍵為假推出後鍵也為假)
10.命題邏輯的推理演算方法：P規則，T規則 ①真值表法；②直接證法；③歸謬法；④附加前提法； 謂詞邏輯
一元謂詞：謂詞只有一個個體，一元謂詞描述命題的性質； 多元謂詞：謂詞有n個個體，多元謂詞描述個體之間的關系；
全稱量詞用蘊含→，存在量詞用合取^;
既有存在又有全稱量詞時，先消存在量詞，再消全稱量詞； 集合
N，表示自然數集，1,2,3……，不包括0；
基：集合A中不同元素的個數，|A|；
冪集：給定集合A，以集合A的所有子集為元素組成的集合，P(A)；
若集合A有n個元素，冪集P(A)有個元素，|P(A)|==；
集合的分劃：(等價關系) ①每一個分劃都是由集合A的幾個子集構成的集合； ②這幾個子集相交為空，相並為全(A)；
集合的分劃與覆蓋的比較： 分劃：每個元素均應出現且僅出現一次在子集中； 覆蓋：只要求每個元素都出現，沒有要求只出現一次； 關系
若集合A有m個元素，集合B有n個元素，則笛卡爾A×B的基數為mn，A到B上可以定義種不同的關系；
若集合A有n個元素，則|A×A|=，A上有個不同的關系；

⑹ 離散數學課本的推理理論

如果我上街，我必去新華書店 p→q

我沒有上街，所以我沒有去新華書店。放在語境里,
前提是:我沒有上街，推理是:p→q 充分條件推理 於是有 :p→q)∧┒p
結論:所以我沒有去新華書店。 ┒p
即((p→q)∧┒p)→┒q

你的第三個問題 在於 兩句用的是分號,不是獨立成立,是聯系成立.
答畢

⑺ 學習計算機數學基礎的離散數學要記住哪些公式啊

三、離散數學

1、數理邏輯：

（1）命題及其符號化。 （2）命題公式及其分類。 （3）命題邏輯等值演算。 （4）範式。 （5）命題邏輯推理理論。 （6）謂詞與量詞。 （7）謂詞公式與解釋。 （8）謂詞公式的分類。 （9）謂詞邏輯等值演算與前束範式。 （10）謂詞邏輯推理理論。

2、集合論：

（1）集合及其表示。 （2）集合的運算。 （3）有序對與笛卡爾積。 （4）關系及其表示法。 （5）關系的運算。 （6）關系的性質。 （7）關系的閉包。 （8）復合關系與逆關系。 （9）等價關系與偏序關系。 （10）函數及其性質。 （11）反函數與復合函數。

3、代數系統：

（1）代數運算及其性質。 （2）同態與同構。 （3）半群與群。 （4）子集與陪集。 （5）正規子群與商群。 （6）循環群與置換群。 （7）環與域。 （8）格與布爾代數。

4、圖論：

（1）無向圖與有向圖。 （2）路、迴路與圖的連通性。 （3）圖的矩陣表示。 （4）最短路徑與關鍵路徑。 （5）二部圖。 （6）歐拉圖與哈密爾頓圖。 （7）平面圖。 （8）樹與生成樹。 （9）根樹及其應用。

⑻ 離散數學中常用的命題定律需要熟記嗎

命題公式很重要，到後面謂詞公式，集合公式等，都與此相似，原理相仿，建議你打好基礎

⑼ 怎麼學好離散數學

如何學好離散數學
離散數學是現代數學的一個重要分支，是計算機科學中基礎理論的核心課程。離散數學以研究離散量的結構和相互間的關系為主要目標，其研究對象一般地是有限個或可數個元素，因此他充分描述了計算機科學離散性的特點。由於離散數學在計算機科學中的重要性，因此，許多大學都把它作為研究生入學考試的專業課程中的一門，或者是一門中的一部分。
作為計算機系的一門課程，離散數學有與其它課程相通相似的部分，當然也有它自身的特點，現在我們就它作為考試內容時具有的特點作一個簡要的分析。
1、定義和定理多。
離散數學是建立在大量定義上面的邏輯推理學科。因而對概念的理解是我們學習這門學科的核心。在這些概念的基礎上，特別要注意概念之間的聯系，而描述這些聯系的實體則是大量的定理和性質。
在考試中的一部分內容就是考察大家對定義和定理的識記、理解和運用。如2002年上海交通大學的試題，問什麼是相容關系。如果知道的話，很容易得分；如果不清楚，那麼無論如何也得不到分數的。這類型題目往往因其難度低而在復習中被忽視。實際上這是一種相當錯誤的認識，在研究生入學考試的專業課試題中，經常出現直接考查對某知識點的識記的題目。對於這種題目，考生應該能夠准確、全面、完整地再現此知識點。任何的模糊和遺漏，都會造成極為可惜的失分。我們建議讀者，在復習的時候，對重要知識的記憶，務必以上面提到的「准確、全面、完整」為標准來要求自己，不能達到，就說明還不過關，還要下工夫。關於這一點，在後續章節中我們仍然會強調，使之貫穿於整個離散數學的復習過程中。
離散數學的定義主要分布在集合論的關系和函數部分，還有代數系統的群、環、域、格和布爾代數中。一定要很好地識記和理解。
2、方法性強。
離散數學的證明題中，方法性是非常強的，如果知道一道題用怎樣的方法證明，很輕易就可以證出來，反之則事倍功半。所以在平常復習中，要善於總結，那麼遇到比較陌生的題也可以游刃有餘了。在本書中，我們為讀者總結了不少解題方法。讀者首先應該熟悉並且會用這些方法。同時我們還鼓勵讀者勤於思考，對於一道題，盡可能地多探討幾種解法。
3、有窮性。
由於離散數學較為「呆板」，出新題比較困難，不管什麼考試，許多題目是陳題，或者稍作變化的來的。「熟讀唐詩三百首，不會做詩也會吟。」如果拿到一本習題集，從頭到尾做過，甚至背會的話。那麼，在考場上就會發現絕大多數題見過或似曾相識。這時，要取得較好的成績也就不是太難的事情了。
本書是專門針對研究生入學考試而編寫的，適合於讀者對研究生入學考試的復習。如果還有時間的話，我們可以推薦兩本習題集。一本是左孝凌老師等編寫的《離散數學理論、分析、題解》，另一套有三本，是耿素雲老師等編寫的《離散數學習題集》。這兩套書大多數題都是相同的，只是由於某些符號和定義的不同，使得題目的設定和解法有些不同而已。
現在我們就分析一下研究生入學考試有哪些題型，以及我們應如何應付。
1、基礎題
基礎題就是考察對定義的識記，以及簡單的證明和推理。題目主要集中在數理邏輯部分和集合論部分。這些題目不需要思考，很容易上手。
這一部分的題目主要問題是要防止粗心大意和對定義記憶似是而非而丟的分數。不重視這一點的人將會在考試中吃大虧。如在主合取範式中，極大項編碼對應的指派與真值表對應的指派相反，這一點在許多的參考書里也會犯錯誤；還有是要防止沒有按照一定的方法而引起的錯誤，如我們在數理邏輯或者集合論里作等價推演，可以省略若干不重要的步驟，只要老師和考生都清楚就可以了，而在推理理論里則不能省略任何步驟，否則被認為是邏輯錯誤。
我們在學習中，還要注意融會貫通，例如，數理邏輯和集合論是相通的，因此記憶或者總結方法的時候可以綜合起來，這樣便於比較和理解。
2、定理應用題
本部分是最「死」的一部分，它主要體現了離散數學的方法性強的特點。並且這一部分佔了考試內容的大部分，我們必須在這一部分下功夫，記住了各種方法，也就拿到了離散數學的大部分分數。
下面我們就列出常用的幾種應用：
●證明等價關系：即要證明關系有自反、對稱、傳遞的性質。
●證明偏序關系：即要證明關系有自反、反對稱、傳遞的性質。（特殊關系的證明就列出來兩種，要證明剩下的幾種只需要結合定義來進行）。
●證明滿射：函數f：X??Y，即要證明對於任意的y??Y，都有x??X，使得f(x)=y。
●證明入射：函數f：X??Y，即要證明對於任意的x1、x2??X，且x1≠x2，則f(x1) ≠f(x2)；或者對於任意的f(x1)=f(x2)，則有x1=x2。
●證明集合等勢：即證明兩個集合中存在雙射。有三種情況：第一、證明兩個具體的集合等勢，用構造法，或者直接構造一個雙射，或者構造兩個集合相互間的入射；第二、已知某個集合的基數，如果為??，就設它和R之間存在雙射f，然後通過f的性質推出另外的雙射，因此等勢；如果為??0，則設和N之間存在雙射；第三、已知兩個集合等勢，然後再證明另外的兩個集合等勢，這時，先設已知的兩個集合存在雙射，然後根據剩下題設條件證明要證的兩個集合存在雙射。
●證明群：即要證明代數系統封閉、可結合、有幺元和逆元。（同樣，這一部分能夠作為證明題的概念更多，要結合定義把它們全部搞透徹）。
●證明子群：雖然子群的證明定理有兩個，但如果考證明子群的話，通常是第二個定理，即設<G,*>是群，S是G的非空子集，如果對於S中的任意元素a和b有a*b-1??S,則<S,*>是<G,*>的子群。對於有限子群，則可考慮第一個定理。
●證明正規子群：若<G,*>是一個子群，H是G的一個子集，即要證明對於任意的a??G，有aH=Ha，或者對於任意的h??H，有a-1 *h*a??H。這是最常見的題目中所使用的方法。
●證明格和子格：子格沒有條件，因此和證明格一樣，證明集合中任意兩個元素的最大元和最小元都在集合中。
圖論雖然方法性沒有前幾部分的強，但是也有一定的方法，如最長路徑法、構造法等等。
3、難題
難題就是考試中比較難以下手，大多考生作不出來，用來拉開分數檔次的題。那麼，遇到難題我們怎麼下手分析呢？
難題主要有以下四種，我們來逐一進行分析：
①綜合題
綜合題就是內容涵蓋若干章的問題，這樣的題大多數是在群論裡面的陪集、拉格朗日定理、正規子群、商群這一部分中。這一部分結合的內容很多，而且既復雜又難理解，是整個離散數學中的難點。

⑽ 離散數學這些推理定律是怎麼來的

P 是指 前提（Premise），即前提引入，引入的題設前提一定是永真的。
T 是指 重言(永真)式（Tautology），T(1)(2)就是說 (1)(2)是永真的。
I 是指 蘊涵式（Implication），即推理定律，比如假言三段論、構造性二難等，有 9 條，標注為 I1～I9。上面的 I3、I4 分別表示 假言推理和拒取式。