第一章 命題邏輯 1.5聯結詞的完備集

1.5聯結詞的完備集 定義：設S是一個聯結詞集合，如果任何n （n>1）元真值函數都可以由僅含S的聯結詞構成的公式表示，則稱S是聯結詞的完備集。 在講完備集之前，先給大家補充幾個聯結詞。我們知道一個有兩個命題變元p，q構成的命題公式中p，q的組合真值情況有4種，而每種所對應的 F i F_i Fi​都有0,1兩種情況。所以共有 4 2 4^2 42=16種情況。如圖： 有些版本的異或也表示爲⊕，清

>>阅读原文<<