一种函数或表示函数的符号,它对应于英语连词,如“and”、“or”、“not”等,以一个或多个真值作为输入,并返回单个真值作为输出。还使用了术语“逻辑连接词”和“命题连接词”(Mendelson 1997,p.13)。下表总结了一些常见的连接词及其符号。
连接的 | 符号 |
和 | ,,,,, |
相等的 | ,, |
暗示 | ,, |
NAND公司 | ,, |
非等效的 | ,, |
也不 | ,, |
不是 | ,,, |
或 | ,,, |
XNOR公司 | XNOR公司 |
异或 | , |
另请参见
和,二进制运算符,等价物,暗示,或,NAND公司,非等效项,也不,不是,命题微积分,报表格式,真相表,XNOR公司,异或
与Wolfram一起探索| Alpha
工具书类
E·门德尔森。数学逻辑导论,第四版。伦敦:查普曼和霍尔出版社,1997年。引用的关于Wolfram | Alpha
连接性
引用如下:
埃里克·魏斯坦(Eric W.Weisstein)。“连接性。”来自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Connective.html
受试者分类