Henry M. Sheffer

谢费尔竖线（英語：Sheffer stroke），得名于亨利·莫里斯·谢费尔（英语：Henry M. Sheffer），写为“| ”（見豎線）或“↑”，指示等价于合取运算的否定的逻辑运算。普通语言表达为“不全是即真”（Not AND，因此也常縮寫為NAND），也就是说，A |

）來產生其他邏輯閘的所有功能，不過他這個研究一直到1933年才發表。1913年，Henry M. Sheffer第一個發表NAND閘可以做出全部功能的證明，也因此NAND閘的邏輯運算有時候也稱為謝費爾豎線（Sheffer stroke）；NOR閘有時叫Peirce's arrow。所以這些閘有時候叫做通用邏輯閘

张申府《所思》：“自余后起数理名家数美人蛇斐（Dr.H.M. Sheffer）最有成就，也久不见其新著。……友人俞大维博士，昔在美学于蛇斐。前岁在德著名的《数学纪录》杂志，曾一见其新著，精进不息，必是足为中国光的。”Henry M. Sheffer（英语：Henry M. Sheffer），導論谢费尔竖线

}}} 的所有命题的否定。 命题6实际上说的是，任何逻辑句子都可以推导自在原子命题的全体上的一序列的与非运算。这事实上是Henry M. Sheffer提出的一个众所周知的叫Sheffer竖线的逻辑定理，维特根斯坦使用了它。 在命题6的补充命题中，他转移到逻辑的哲学反映上，它联系到关于知识、思维、先验和

[2018-08-15]. （原始内容存档于2020-11-09） （美国英语）.  McNary, Dave. Film News Roundup: Craig Sheffer to Star in Horror Movie ‘Widow’s Point’. Variety. 2018-08-06 [2018-08-15]