话题
搜索

连接性


一种函数或表示函数的符号,它对应于英语连词,如“and”、“or”、“not”等,以一个或多个真值作为输入,并返回单个真值作为输出。还使用了术语“逻辑连接词”和“命题连接词”(Mendelson 1997,p.13)。下表总结了一些常见的连接词及其符号。

连接的符号
A^B类,A·B,答:B,AB公司,A和B,A和B
相等的A=B,A<=>B,A<->B
暗示A=>B,A超集B,A->B
NAND公司A和B,A|B类,A·B^_
非等效的A≢B类,A<=>调整框[/,框边距->{{-1.05,0.13913},{-0.5,0.5}}]B,A<->调整框[/,框边距->{{-1,0.13913},{-0.5,0.5}}]B
也不A和B,平均B,A+B类^_
不是!A类,A型,A类^_,~A
A与B,A+B类,A|B类,A‖B
XNOR公司A类XNOR公司B类
异或A与B之差,A直接和B

另请参见

,二进制运算符,等价物,暗示,,NAND公司,非等效项,也不,不是,命题微积分,报表格式,真相,XNOR公司,异或

与Wolfram一起探索| Alpha

工具书类

E·门德尔森。数学逻辑导论,第四版。伦敦:查普曼和霍尔出版社,1997年。

引用的关于Wolfram | Alpha

连接性

引用如下:

埃里克·魏斯坦(Eric W.Weisstein)。“连接性。”来自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Connective.html

受试者分类