主题
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)

使用 Wolfram|Alpha 探索

参考文献

Mendelson, E. 数理逻辑导论，第 4 版 伦敦：Chapman & Hall，1997。

在 Wolfram|Alpha 中被引用

连接词

请引用为

Weisstein, Eric W. “连接词。” 来自 MathWorld-- Wolfram Web 资源。 https://mathworld.net.cn/Connective.html

主题分类