謝佛豎

謝佛豎(Sheffer stroke)亦稱析取否定詞.一種聯結詞.

謝佛豎 謝佛豎

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

相關詞條

熱門詞條

聯絡我們