完備聯結詞集

完備聯結詞集(adequate set of truth functional connectives)亦稱完全聯結詞集.若干真值聯結詞組成的集合。

指具有下列性質的聯結詞的集合:對於任給的一個真值表,存在一個僅由該集中聯結詞構成的命題演算公式,使得該公式所對應的真值表恰為該真值表.{,,U,八},{,,U},{,,八},{,~} 等均為完備的聯結詞集.如果一個聯結詞集的子集是完備的,則該集也是完備的一個完備的聯結詞集至少要包含幾個聯結詞呢?謝佛((Sheffer,H. M.)曾指出,由一個被稱為謝佛豎的聯結詞組成的集合是完備的聯結詞集(參見“謝佛豎”) .

相關詞條

熱門詞條

聯絡我們