離散數(shù)學(xué)浙大講義11邏輯-文庫吧在線文庫
【正文】 6 What is the value of the variable x after the statement if 2+2=4 then x := x+ 1 if x = 0 before this statement is encountered? (The symbol: = stands for assignment. The statement x: = x + 1 means the assignment of the value of x + 1 to x.) Solution: Since 2 + 2 = 4 is true, the assignment statement x: = x + 1 is executed. Hence, x has the value 0+1=1 after this statement is encountered. Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 25 implication p→q The converse of p→q : q→p The contrapositive of p→q :172。 、 ∧ 、 ∨ 、 → 、 ?? 命題公式的表達(dá)式的運算規(guī)律： 同代數(shù)表達(dá)式 命題公式的運算方法： 所有公式中的命題變量用指定命題（真值）代入（或指派），得到一個公式對應(yīng)的真值。 Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 40 性質(zhì) 2： （ 1）設(shè) P是永真命題公式，則 P的否定公式是永假命題公式； （ 2）設(shè) P是永假命題公式，則 P的否定公式是永真命題公式； （ 3）設(shè) P、 Q是永真命題公式，則（ P ∧ Q）、（ P ∨ Q）、（ P → Q ）、（ P ?? Q）也是永真命題公式 Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 41 小 結(jié) 命題的概念：定義、邏輯值、 符號化表示 從簡單命題到復(fù)合命題： 邏輯聯(lián)接詞：運算方法、運算優(yōu)先級 從命題常量到命題變量， 從復(fù)合命題到命題公式： 命題公式的真值描述：真值表 命題公式的分類： 永真公式、永假公式、可滿足公式 、一般公式 Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 42 進(jìn)一步的思考： 從二值邏輯到多值邏輯 從確定值到模糊值 模糊邏輯（ Fuzzy Logic) 練習(xí)題： 25（ d）、 30（ b） 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 43 更多資料請訪問： 。P也是命題公式； 設(shè) P、 Q是命題公式，則（ P ∧ Q）、（ P ∨ Q）、（ P → Q ）、（ P ?? Q）也是命題公式； 有限次地使用 3所得到的也是命題公式。Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 1 基礎(chǔ)部分 : 邏輯 (Logic) 集合 (Sets) 算法 (Algorithms) 數(shù)論 (Number Theory) Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 2 邏輯 Logic Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 3 邏輯學(xué)： 研究推理的一門學(xué)科 數(shù)理邏輯： 用數(shù)學(xué)方法研究推理的一門數(shù)學(xué)學(xué)科 一套符號體系 + 一組規(guī)則 Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 4 數(shù)理邏輯的內(nèi)容： 古典數(shù)理邏輯： 命題邏輯、謂詞邏輯 現(xiàn)代數(shù)理邏輯： 公理化集合論、遞歸論、模型論、證明論 Logic 命題邏輯 10/23/2022 3:
法律信息相關(guān)推薦
鄂ICP備17016276號-1