【正文】 PM Deren Chen, ZheJiang Univ. 9 命題的符號(hào)表示： 大小寫(xiě)英文字母： P、 Q、 R、 p 、 q 、 r、 命題真值（ Truth Values）的表示： 真： T、 1 假： F、 0 Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 10 命題語(yǔ)句真值確定的幾點(diǎn)說(shuō)明： 時(shí)間性 區(qū)域性 標(biāo)準(zhǔn)性 命題真值間的關(guān)系表示： 真值表（ Truth Table) Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 11 DEFINITION 1. Let p be a proposition. The statement It is not the case that p. is another proposition, called the negation of p. The negation of p is denoted by p. The proposition p is read not p. ??p的否定 Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 12 EXAMPLE 3 Find the negation of the proposition Today is Friday and express this in simple English. The negation is It is not the case that today is Friday. This negation can be more simply expressed by 39。 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é) 命題的概念：定義、邏輯值、 符號(hào)化表示 從簡(jiǎn)單命題到復(fù)合命題： 邏輯聯(lián)接詞：運(yùn)算方法、運(yùn)算優(yōu)先級(jí) 從命題常量到命題變量， 從復(fù)合命題到命題公式： 命題公式的真值描述：真值表 命題公式的分類(lèi)： 永真公式、永假公式、可滿(mǎn)足公式 、一般公式 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 更多資料請(qǐng)?jiān)L問(wèn)： 。Today is not Friday. Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 13 Table 1 Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 14 DEFINITION 2. Let p and q be propositions. The proposition p and q, denoted by p∧ q, is the proposition that is true when both p and q are true and is false otherwise. Th