真值表 真值表为一种检验命题推论真伪的方法，为将推论中的所有语词.docVIP

真 值 表 真值表為一種檢驗命題 推論真偽的方法，為將推論中的所有語詞用符號代表在從假設命題為真或偽看它的連結的真偽性，若在所有可能的狀況下此命題皆為真則此推論出的命題恆真，若在所有可能的狀況下此命題有一項為偽則此命題恆偽，若兩個命題在不同狀況下的真偽相同則說這兩個命題等價。也就是說 真值表是在邏輯中使用的一種數學表，用來確定一個運算式是否為真或有效。 運算式可以是論證，也可以是結合項 conjunct 每個運算式都是最後結論的一個前提。 ； 真值表是在1917年年由維根斯坦和1921年由 Emil Post 獨立發明的。用在弗雷格、羅素等人開發的命題演算上。維根斯坦的邏輯哲學論使用它們把真值函數置於序列中。這個著作的廣泛影響導致了真值表的傳播。 真值表的邏輯運算符有五個 1. ∧ ? AND 且，2.∨ OR 或，3.— NOT 非 4.→ if then 若 則 5. ≡ ≌? if and only if 若且圍若。 經典 二值 邏輯的真值表限定於只有兩個真值是可能的布林邏輯系統，它們是真T或假 F。 否 定 在布林邏輯系統中，所有運算符都能以這種方式明確的定義。例如 NOT ━ 關係定義如下: A ━ A F T T F 邏 輯 合 取 例如，採用兩個命題變數， A 和 B 和邏輯運算符 AND ∧ , 表示合取 A 與 B 或 A