真值：命題可以取乙個值，稱為真值。真值只有「真」和「假」兩種，分別用「1」(「t」)和「0」(「f」)表示。
命題：具有確切真值的陳述句。
一切沒有判斷內容的句子，都不能作為命題。
原子命題：不能再分解為更簡單的命題。
復合命題：可以分解為成簡單的命題，與原子命題相對。
聯結詞：否定聯結詞（非），合取聯結詞（並且），析取聯結詞（或），蘊涵聯結詞（推理），等價聯結詞。
否定：真值結果取反
合取：p，q同真才真，有假則假
析取：p，q同假才假，有真則真
蘊涵：p真q假時為假，否則為真
等價：pq真值相同為真，否則為假
常值命題：真值不是「真」就是「假」，真值是確定的
命題變數：沒有具體的真值，與常值命題相對
命題公式：其中的原子命題是命題變元，復合命題即為命題變元的」函式「，且該函式的真值仍為」真「或」假「
解釋：設p1,p2,…,pn時出現在公式g中的所有命題變元，指定p1，p2，…，pn一組真值，則這組真值稱為g的乙個解釋
真值表：由公式g在其所有可能的解釋下所取的真值構成的表
永真公式：在所有的解釋下真值都為」真「
永假公式（矛盾式）：在所有的解釋下真值都為」假「
可滿足公式：非永假公式
等價：設g,h是兩個命題公式，p1，p2，…，pn是出現在g，h中所有的命題變元，如果對於p1,p2，…，pn的2的n次方個真值組合的每乙個解釋，g與h的真值結果都相同，則稱g，h等價，記作g=h
命題公式的基本等價關係：
1.冪等律：
g∨g=g
g∧g=g
2.交換律：
g∨h=h∨g
g∧h=h∧g
3.結合律：
g∨(h∨s)=(g∨h)∨s
g∧(h∧s)=(g∧h)∧s
4.同一律：
g∨0=g
g∧1=g
5.零律：
g∨1=1
g∧0=0
6.分配律：
g∨(h∧s)=(g∨h)∧(g∨s)
g∧(h∨s)=(g∧h)∨(g∧s)
7.吸收律：
g∨(g∧h)=g
g∧(g∨h)=g
8.矛盾律：
g∧¬g=0
9.排中律：
g∨¬g=1
10.雙重否定律：
¬（¬g）=g
11.德摩根律：
¬(g∨h)=¬g∧¬h
¬(g∧h)=¬g∨¬h
12.蘊含式：
g→h=¬g∨h
13.假言易位：
g→h=¬h→¬g
14.等價式：
g↔h=(g→h)∧(h→g)=(¬g∨h)∧(¬h∨g)
15.等價否定等式：
g↔h=¬g↔¬h
16.歸謬論：
(g→h)∧(g→¬h)=¬g
10 2 命題邏輯
usr bin env python coding utf 8 命題邏輯 表示對應特定語句連線詞的語言結構部分 布林運算子 連線詞的對應形式 命題符號 命題邏輯的基本表示式import nltk nltk.boolean ops 公式 我們可以建立 命題邏輯的規範公式的無限集合。in 4 nltk....
命題邏輯 語義
乙個命題邏輯公式就是命題邏輯語言字母表上的符號串 這類似於乙個英文句子是英文本母表上的字串 命題邏輯的語法的本質是規定了命題邏輯語言字母表上的什麼樣的符號串才是合法的命題邏輯公式。與自然語言類似，乙個 簡單 的語句有對與錯的區分，相應的乙個命題公式也需要分辨真或假，而乙個公式本身是沒有真假值的，當給...
命題邏輯幾道題
乙個瘋狂的科學家有1000瓶酒，其中一瓶是有毒的。他也有數量有限的試紙，毒酒將永久改變試紙的顏色，但是只在十天後顯示出來。這位科學家想在第十一天舉行乙個聚會，為此需要篩選出有毒的酒。他怎樣使用最低數量的試紙找出那瓶毒酒？看到這個題目的第一眼我在想2 10 1024 1000，那答案是不是10張試紙？...