謝佛豎(Sheffer stroke)亦稱析取否定詞.一種聯結詞. 由謝佛(Sheffer, H. M.)於1913年首先定義的一種真值聯結詞.通常以“}”記之，其定義如 11111 右表.P{g表示“非p或非q , 即}pV}y.按照英國數理邏輯學家羅素(Russell , B. A. W.)在《數學原理》中給出的 P，q不相容的定義，plq表示 P，q不相容.由單獨一個謝佛豎組成的集{}}是完備的聯結詞集.
