上記の式は「白でないか、または、黒でないかである」と読む。(○かつ●)ではない。○でないか、または、●でないかである。この棒記号を「拒否」という。シェファー(H.M.Sheffer)が、唯一の演算子(a|b)を用いて命題論理学の公理化を行ったのは1913年であり、ニコド(J.G.P.Nicod)が、シェファーの方法によって唯一の演算子を用いた唯一の公理で命題論理系を構成しうることを証明したのは1917年のことである。ニコドが提出した基本的概念は不並立(incompatibility)と言われ、p|qと書かれる。同様の試みに着手していたことになる。梅園は論理の正しさの証明は行っていない。致を検証するというものであった。