指具有下列性質的聯結詞的集合:對於任給的一個真值表，存在一個僅由該集中聯結詞構成的命題演算公式，使得該公式所對應的真值表恰為該真值表.{，，U，八}，{，，U}，{，，八}，{，~} 等均為完備的聯結詞集.如果一個聯結詞集的子集是完備的，則該集也是完備的一個完備的聯結詞集至少要包含幾個聯結詞呢?謝佛((Sheffer,H. M.)曾指出，由一個被稱為謝佛豎的聯結詞組成的集合是完備的聯結詞集(參見“謝佛豎”) .
相關詞條
-
離散數學及其套用[離散數學及其套用：2011年機械工業出版社出版圖書]
與聯結詞完備集49 2.3.1 聯結詞的擴充49 2.3.2 與非、或非、異或的性質51 2.3.3 聯結詞完備集52 2.4 範式53... 命題與聯結詞31 2.1.1 命題31 2.1.2 邏輯聯結詞33...
版權資訊 內容簡介 作者介紹 目錄 2.圖書信息 -
離散數學及其套用[2007年清華大學出版社出版圖書]
等價演算的實際套用482.3 聯結詞的擴充與聯結詞完備集492.3.1...完備集522.4 範式532.4.1 析取範式與合取範式532.4.2...與聯結詞312.1.1 命題312.1.2 邏輯聯結詞332.1.3 聯結詞...
圖書信息 圖書簡介 目錄 -
離散數學及其套用
與聯結詞完備集49 2.3.1 聯結詞的擴充49 2.3.2 與非、或非、異或的性質51 2.3.3 聯結詞完備集52 2.4 範式53... 命題與聯結詞31 2.1.1 命題31 2.1.2 邏輯聯結詞33...
版權資訊 內容簡介 作者介紹 目錄 2.圖書信息 -
多值邏輯的方法和理論
的各種聯結詞及其構造，分析和整理了多值邏輯函式完備性問題的深刻結論...2.1.2 真值集2.1.3 基本概念2.2 多值邏輯的幾類主要聯結詞2.2.1...的多值聯結詞的判定3 多值邏輯的公理化、系統化3.1 一個函式完備的m值...
圖書信息 內容簡介 圖書目錄 -
一階邏輯
完備（所有為真的敘述皆可證）的演繹系統。雖然一階邏輯的邏輯歸結只是半... 一階邏輯 一階邏輯 2)邏輯聯結詞：或 、且 、條件 、雙條件 及否定 。偶爾還會包括一些其他的邏輯聯結詞。3) 括弧、方括弧及其他標點符號...
簡介 概念 語法 辭彙表 生成規則 -
離散數學教程[楊祥金主編書籍]
等價式和永真隱含式1.1.6 其他邏輯連線詞1.1.7 邏輯連線詞及其完備功能集1.1.8 對偶原理1.1.9 範式1.2 命題邏輯中的推理規則和...1.5.3 公理系統K1.5.4 K的合理性、一致性和完備性1.6 自動定理...
圖書信息 內容簡介 圖書目錄 新版圖書信息 內容簡介 -
離散數學[2012年清華大學出版社出版圖書]
合取範式與析取範式572.4.2 主範式58?*2.5 聯結詞完備集... 命題邏輯412.1 命題與聯結詞41離散數學目錄2.1.1 命題與真值412.1.2 命題聯結詞422.2 命題公式、指派及真值表462.2.1...
基本信息 內容簡介 目錄 -
離散結構[北京航空航天大學出版社出版書籍]
1.4.3 用等價替換方法構造主範式1.5 聯結詞的完備集及套用1.5.1 聯結詞的完備集1.5.2 一些計算機套用1.6 蘊涵和...1.1.1 命題1.1.2 邏輯聯結詞和複合命題1.2 合式公式...
編輯推薦 內容簡介 目錄 -
離散數學[機械工業出版社出版圖書]
命題公式的範式與主範式1.4 聯結詞的完備集1.5 命題推理理論習題1第...1.1 命題及聯結詞1.1.1 命題及其表示1.1.2 命題聯結詞1.2...6.1 半群與群6.2 陪集與拉格朗日定理6.3 群的同態與同構6.4...
內容簡介 圖書目錄
