安培克

安培克，来自希腊语αμφκηмdouble-edged，是由查尔斯-桑德斯·皮尔斯对于一对逻辑对偶运算符中的任意一个，也称为皮尔斯箭头、谢弗笔划或NAND公司和NNOR公司。这些逻辑运算符之一是唯一充分算子用于推导或生成主题中的所有其他运算符，这些运算符被描述为布尔函数，一元谓词演算，命题演算、句子演算或零阶逻辑.

例如，$｛\displaystyle x\ curlywedge y｝$这意味着${\显示样式x}$是${\显示样式\mathbf{f}}$和${\显示样式y}$是${\显示样式\mathbf{f}.}$然后${\显示样式（x\卷边y）\卷边z，}$或$｛\displaystyle｛\dunderline｛x\ curlywedge y｝｝\ curlywedge z，｝$将意味着${\显示样式z}$是${\显示样式\mathbf{f}，}$但这句话${\显示样式x}$和${\显示样式y}$都是${\显示样式\mathbf{f}}$就是它自己${\显示样式\mathbf{f}，}$也就是说，是假因此${\显示样式x\卷曲边x}$与的相同${\显示样式{\上划线{x}}}$; 以及${\显示样式{\下划线{x\卷曲边x}}\卷曲边缘x}$是${\显示样式\mathbf{f}，}$因为它必然是假的；而的价值$｛\displaystyle｛\dunderline｛x\ curlywedge y｝｝｝\ curlywedge｛\dunderline｛x\ curlywedge y｝｝｝$只是${\显示样式\mathbf{f}}$万一${\显示样式x\卷曲边y}$是${\显示样式\mathbf{v}}$; 和${\显示样式（{\underline{x\curlywedge x}}\卷曲边x）\卷曲边沿（x\currywedge{\undertline{x\卷曲边缘x}}）}$必须为true，因此其值为${\显示样式\mathbf{v}.}$

有了这两个符号，静脉（及其等价物、括号、括号、大括号等）和符号${\显示样式\卷曲边，}$我会称之为安非他明（从αμφηκб，双向切割），所有关于量值的断言都可以表达。（C.S.皮尔斯，CP 4.264）。

在上面的段落中，皮尔士介绍了这个术语安非他明用于当前称为联合否认在逻辑上NNOR公司计算机科学中的操作符，或用普通语言中的“neither-nor”或“both not”等短语表示。在这个操作中，他使用了一个符号，印刷师很可能通过反转白羊座的黄道十二宫符号来设置这个符号(♈)，但在上述文本中通过卷曲楔符号。

在同一篇论文中，皮尔士为逻辑对偶算子引入了一个符号。这是他的编辑们写的收集的论文作为一个倒置的白羊座符号，顶部有一条横线或衬线，这样表示连接符或逻辑运算符，目前称为替代性否认在逻辑上NAND公司计算机科学中的操作符，或通过普通语言中的“not-and”或“not-bether”等短语调用。目前尚不清楚是皮尔士本人还是后来的作家发起了这一实践，但由于他们的双重关系，通常将这两个操作符以复数形式称为安非他明.

参考文献和进一步阅读

• Clark，Glenn（1997），“皮尔士16个二元连词的符号符号新解”，第304–333页，摘自Houser，Roberts，Van Evra（编辑），查尔斯·桑德斯·皮尔斯的逻辑研究印第安纳大学出版社，布卢明顿，印第安纳州，1997年。

• Houser，N.、Roberts，Don D.和Van Evra，James（编辑，1997年），查尔斯·桑德斯·皮尔斯的逻辑研究，印第安纳大学出版社，印第安纳州布鲁明顿。

• McCulloch，W.S.（1961），“什么是数字，一个人可能知道它，一个人，他可能知道一个数字？”（阿尔弗雷德·科兹布斯基第九次纪念讲座），通用语义公告第26、27、7-18号，康涅狄格州莱克维尔通用语义学研究所。再版，第1-18页思想的体现.在线的.

• McCulloch，W.S.（1965），思想的体现麻省理工学院出版社，马萨诸塞州剑桥。

• 皮尔斯，C.S.，书目.

• 皮尔斯，C.S。，查尔斯·桑德斯·皮尔斯论文集，卷。1-6，查尔斯·哈特肖恩（Charles Hartshorne）和保罗·韦斯（Paul Weiss）（编辑），卷。7–8，Arthur W.Burks（编辑），哈佛大学出版社，马萨诸塞州剑桥，1931–1935，1958。

• 皮尔斯，C.S.（1902），“最简单的数学”。首次发布为CP 4.227–323收集的论文.

• Zellweger，Shea（1997），“皮尔斯十六个二元连接词的标志性符号中的未被挖掘的潜力”，第334–386页，Houser，Roberts，Van Evra（编辑），查尔斯·桑德斯·皮尔斯的逻辑研究印第安纳大学出版社，布卢明顿，印第安纳州，1997年。

资源

• 逻辑教学大纲

文档历史记录

上述文章的部分内容根据GNU自由文档许可证、其他适用许可证或版权所有者的许可改编自以下来源。

• 安培克,国际科学维基
• 安培克,维基大学
• 安培克,维基百科