數學邏輯連線詞

邏輯連線詞是一個符號，用於連線兩個或多個命題邏輯或謂詞邏輯，使得結果邏輯僅取決於輸入邏輯和所用連線詞的含義。

通常有五個連線詞：

• 或 (∨)

• 與 (∧)

• 非/否 (¬)

• 蘊含/如果-那麼 (→)

• 當且僅當 (⇔).

或 (∨) − 兩個命題 A 和 B 的或運算（寫成 A ∨ B）如果命題變數 A 或 B 中至少有一個為真，則結果為真。

真值表如下：

與 (∧) − 兩個命題 A 和 B 的與運算（寫成 $A \land B$）如果命題變數 A 和 B 都為真，則結果為真。

真值表如下：

非 (¬) − 命題 A 的非運算（寫成 ¬ A）當 A 為真時為假，當 A 為假時為真。

真值表如下：

蘊含/如果-那麼 (→) − 蘊含 A → B 是命題“如果 A，那麼 B”。如果 A 為真而 B 為假，則結果為假。其餘情況均為真。

真值表如下：

當且僅當 (⇔) − A ⇔ B 是雙條件邏輯連線詞，當 p 和 q 相同（即兩者都為假或兩者都為真）時為真。

真值表如下：

Mahesh Parahar

更新於：2019年8月23日

14K+ 次瀏覽

開啟你的職業生涯

完成課程獲得認證

開始學習