主題
Search

連線詞

一個函式，或代表函式的符號，它對應於英語中的連詞，如“與”、“或”、“非”等，它接受一個或多個真值作為輸入，並返回一個真值作為輸出。“邏輯連線詞”和“命題連線詞”（Mendelson 1997，第 13 頁）等術語也被使用。下表總結了一些常見的連線詞及其符號。

連線詞符號
與 (AND)A ^ B, A·B, A.B, AB, A&B, A&&B
等價A=B, A<=>B, A<->B
蘊含A=>B, A superset B, A->B
與非 (NAND)A nand B, A|B, A·B^_
非等價A≢B, A<=>AdjustmentBox[/, BoxMargins -> {{-1.05, 0.13913}, {-0.5, 0.5}}]B, A<->AdjustmentBox[/, BoxMargins -> {{-1, 0.13913}, {-0.5, 0.5}}]B
或非 (NOR)A nor B, AvB, A+B^_
非 (NOT)!A, ¬A, A^_, ∼A
或 (OR)A v B, A+B, A|B, A∥B
同或 (XNOR)A 同或 (XNOR) B
異或 (XOR)A xor B, A direct sum B

另請參閱

與 (AND), 二元運算子, 等價, 蘊含, 或 (OR), 與非 (NAND), 非等價, 或非 (NOR), 非 (NOT), 命題演算, 陳述形式, 真值表, 同或 (XNOR), 異或 (XOR)

使用 探索

參考文獻

Mendelson, E. 數理邏輯導論，第 4 版 倫敦：Chapman & Hall，1997。

在 中被引用

連線詞

請引用為

Weisstein, Eric W. “連線詞。” 來自 -- 資源。 https://mathworld.tw/Connective.html

主題分類