これは実際は、ヘンリー・シェーファーによる著名な論理学の定理であり、ウィトゲンシュタインはこれを利用している。
这事实上是HenryM.Sheffer提出的一个众所周知的叫Sheffer竖线的逻辑定理，维特根斯坦使用了它。