合舍

合舍（ joint denial）真值聯結詞。用“↓”表示。由沙弗（H.M. Sheffer，1883--）在1913年所引|進。

基本介紹

• 中文名：合舍
• 外文名： joint denial
• 意思：真值聯結詞

“A↓B”表示A和B同假。它相當於漢語中“既非A又非B”，用“ㄱ”“∧”可以表示成ㄱA∧ㄱB。其真值表為:

A	B	A↓B
真	真	假
真	假	假
假	真	假
假	假	真

通過它可定義否定、合取、析取、蘊涵和等值等五個聯結詞。如ㄱA定義為:A↓A，AVB定義為:（A↓B）↓（A↓B）。合取要求兩個支命題同真A↓B則要求二支命題同假故稱。