邏輯推理法PPT學(xué)習(xí)教案

1、會計學(xué)1 邏輯推理法邏輯推理法 玩笑，上面的話全是假話。編 程求解真正的母子關(guān)系。 第1頁/共51頁 表示變量對應(yīng)的小孩與以該變 量值為編號的那位母親之間具 有母子關(guān)系。 第2頁/共51頁 題題，稱為真命題；不能成立的 命題，稱為假命題。例題中指 出：甲、A和丙講的三句話都是 假話，因此，對應(yīng)的命題為假 命題，其否定形式便成為真命 題。 第3頁/共51頁 個窮舉變量a、b、c在整個問題 的求解中擔(dān)負著舉足輕重的作 用。一般地，將這類變量稱為 邏輯推理題的推理變量推理變量。 第4頁/共51頁 第5頁/共51頁 第6頁/共51頁 第7頁/共51頁 第8頁/共51頁 第9頁/共51頁 第10頁/共5

2、1頁 程序代碼運行結(jié)果抓屏： 第11頁/共51頁 邏輯條件成立的可行解。 第12頁/共51頁 條件是否成立來尋找問題的答 案。 第13頁/共51頁 所蘊含的所有的命題條件，包括 顯式條件與隱式條件； 第14頁/共51頁 問題求解的過程變得非常簡單； 反之，可能會增加解題的難度與 復(fù)雜度。 第15頁/共51頁 理變量）。 第16頁/共51頁 第17頁/共51頁 (America,Germany, nEngland,Japan,China,Fran ce); 第18頁/共51頁 為k時，表示對應(yīng)于該變量的人 來自于編號為k的國家。 第19頁/共51頁 其中有顯性的條件命題，也有 需要運用分析推理手

3、段才能捕 捉到的隱性條件命題。 第20頁/共51頁 E e5。 n“C和德國人是律師”，于是 有：C不是德國人，得到命題： c2。 第21頁/共51頁 第22頁/共51頁 不是一個人，因此：A不是法國 人；C不是日本人。于是得到以 下兩個條件命題：a6； c4。 第23頁/共51頁 B 法國人；同理，C不是美國人。 轉(zhuǎn)化為邏輯表達式，得到： b6；c 1。 第24頁/共51頁 第25頁/共51頁 and(c2)and(c4)and(c5) and(c6)and(e1)and(e2) and(e5)and(f2)。 第26頁/共51頁 第27頁/共51頁 和condition_2，找出使這兩個

4、命題都能同時成立的解變量組 (a,b,c,d,e,f)。 第28頁/共51頁 個人各自所屬的國籍名稱，輸 出問題的最終答案。 第29頁/共51頁 begin 如果當(dāng)前的(a,b,c,d,e,f)能夠使condition_1和condition_2 同時成立，則該(a,b,c,d,e,f)即為問題的解變量組； 將解變量組映射到數(shù)組Nation； 組織并輸出符合題意的答案。 end. 第30頁/共51頁 程序代碼運行結(jié)果抓屏： 第31頁/共51頁 約束關(guān)系錯綜復(fù)雜的一類邏輯 推理問題，運用條件矩陣消元 法常常比常規(guī)方法更加有效。 第32頁/共51頁 的行向量或列向量。 n條件矩陣元素的值表達所對

5、應(yīng)行、列之間是否具有某種特 定的邏輯關(guān)系。 第33頁/共51頁 n 1,b2,b6,c1,c2,c4, c5,c6,e1, e2,e5,f2。 第34頁/共51頁 ABCDEF 美美1 德德2 英英3 日日4 中中5 法法6 國國 人人 第35頁/共51頁 的行下標(biāo)可取特殊的值，一般 取0，標(biāo)識行的各個元素應(yīng)取 邏輯型的值，用于表明該元素 所在的列是否需要特殊處理。 第36頁/共51頁 所在的列是否已經(jīng)施加過消元 處理；而有效元素的值則表明 行與列對應(yīng)的對象之間是否滿 足某種邏輯關(guān)系。 第37頁/共51頁 1(A)2(B)3(C)4(D)5(E)6(F) 0000000 1000101 200

6、0100 3111111 4110111 5010101 6000111 標(biāo)識行標(biāo)識行 第一個第一個 可消元可消元 的列的列 第38頁/共51頁 初值1； n求解出題目的約束條件集合， 針對集合中每個條件元素的意 義，為條件矩陣相應(yīng)的元素賦 值； 第39頁/共51頁 第40頁/共51頁 1(A)2(B)3(C)4(D)5(E)6(F) 0001000 1000101 2000100 3001000 4110111 5010101 6000111 標(biāo)識行改變標(biāo)識行改變 第二個第二個 可消元可消元 的列的列 施加消施加消 元運算元運算 的行的行 第41頁/共51頁 第42頁/共51頁 1(A)2(B)3(C)4(D)5(E)6(F) 0111111 1000001 2000100 3001000 4100000 5010000 6000010 最終的最終的標(biāo)識行標(biāo)識行 條件矩條件矩 陣的最陣的最 終狀態(tài)終狀態(tài) 條件矩陣的最條件矩陣的最 終狀態(tài)：從帶終狀態(tài)：從帶 圈的圈的1可以解可以解 析出解向量。析出解向量。 第43頁/共51頁 第44頁/共51頁 哪種情形，它們都提供了推理 的線索與依據(jù)，題目最終都要 通過對這些命題的檢測來推斷 出所要求解的答案。 第45頁/共51頁 輯值求解，得出滿足題目要求 的一組解，并由這組解經(jīng)過換 算，推出所要的最終答案