谢佛竖(Sheffer stroke)亦称析取否定词.一种联结词.由谢佛(Sheffer, H. M.)于1913年首先定义的一种真值联结词.通常以"}"记之,其定义如 11111 右表.P{g表示"非p或非q, 即}pV}y.按照英国数理逻辑学家罗素(Russell , B. A. W.)在"数学原理"中给出的 P,q不相容的定义,plq表示 P,q不相容.由单独一个谢佛竖组成的集{}}是完备的联结词集.