初等謂詞是一個數學術語。
基本介紹
- 中文名：初等謂詞
- 外文名：elementary predicate
初等謂詞一種數論謂詞.若數論謂詞P的特徵函式為初等函式，則稱P為初等謂詞，若一個集合A的特徵函式為初等函式，則稱A為初等遞歸集，簡稱初等集.
初等謂詞
相關詞條
- 初等謂詞
初等謂詞是一個數學術語。初等謂詞一種數論謂詞.若數論謂詞P的特徵函式為初等函式，則稱P為初等謂詞，若一個集合A的特徵函式為初等函式，則稱A為初等遞歸集，簡稱初等集....
- 初等擴張原理
初等擴張原理是轉換原理在*映射的初等部分的局限。轉換原理就是：V(R)中的句子φ在V(R)中為真，若且唯若*φ在*V(R)中為真。初等擴張原理斷言：V(R)的初等部分中的句子，即R的一階謂詞中的句子在R中為真，若且唯若*φ在*...
- 初等集公理
初等集公理是集合論的一條公理，策梅洛(E.F.F.Zermelo)於1908年提出集合論公理體系時，其中有一公理稱為初等集公理，該公理斷言：存在空集，它不含任何元素；如果a是一個集合，則存在集{a}，它僅含a為元素，如果a，b是兩個集合...
- 原子公式(數理邏輯)
謂詞邏輯是一種邏輯模式，是迄今為止能表達思維和推理的最精確方法，是最廣泛使用的知識表達方式。謂詞邏輯的基本組成部分是謂詞符號、變數符號和常量符號，並用圓括弧、方括弧、花括弧和逗號隔開，以表示域內的關係。也可以稱之為一階...
- 二階算術
二階算術(second order arithmetics)是遞歸論研究的內容之一。是刻畫自然數理論的二階形式理論。所使用的語言是二階算術語言L₂。它是在一階算術語言L的基礎上，增加二階變元(即取值於函式或謂詞的變數)及相應的量詞而得。概念 二...
- 普通高等學校十一五規劃教材·數理邏輯
《普通高等學校十一五規劃教材·數理邏輯》是中國科學技術大學出版社出版的圖書，ISBN是 9787312027086, 7312027083 內容簡介 《普通高等學校十一五規劃教材?數理邏輯(第2版)》內容分兩部分：第一部分屬數理邏輯基礎，包含命題演算與謂詞演算...
