您的当前位置：领域 > 数理逻辑 领域
约束变量 （函数 | 石材）
量化一个合式公式中的某个变量所得到的表达式也是合式公式。
力迫关系 （数理逻辑 名词）
力迫关系在力迫法中力迫关系通常记为? （读作力迫），是定义在基础模型 M 中一个
逻辑等值 （数理逻辑 名词）
逻辑等值（logically equivalent）是1993年公布的数学名词。
命题形式 （数理逻辑术语）
命题形式(propositional forms)数理逻辑术语.是由命题变元p，
命题公式 （数理逻辑术语）
命题公式(propositional formula)亦称合式公式，是数理逻辑术
非标准量词 （数理逻辑 名词）
非标准量词（non-standard quantifier）是1993年公布的数
论题 （词汇）
论题读作lùn tí，解释为一门知识，是论述者所主张并加以辩证的命题,论述题目中
形式主义学派 （数理逻辑和数学基础研究中的学派）
形式主义学派，数理逻辑和数学基础研究中的一个学派。认为数学的真理性体现在它的不矛
互斥析取 （数理逻辑 名词）
互斥析取（exclusive disjunction）是1993年公布的数学名词
联结词 （数理逻辑 名词）
联结词亦称命题联结词，命题逻辑的基本概念之一，指由已有的命题构造出新命题所用的词
函数符号 （其他科学相关）
约翰.伯努利於1694年首次提出函数(function)概念，并以字母 n 表示
序数积 （数理逻辑 名词）
序数积（ordinal product）是1993年公布的数学名词。
共尾性 （数理逻辑 名词）
共尾性（cofinality）是1993年公布的数学名词。
奇异序数 （数理逻辑 名词）
奇异序数（singular ordinal）是1993年公布的数学名词。
构造序数 （数理逻辑 名词）
构造序数（constructive ordinals）是1993年公布的数学名词
良序 （数理逻辑 名词）
良序是数学用语的称呼。定义设集合 (S ,≤) 为一全序集，≤是其偏序关系。对任
真假值表归约性 （数理逻辑 名词）
真假值表归约性（truth table reducibility）是1993年公
元逻辑 （石材）
元逻辑是以形式化的逻辑系统为研究对象的一门学科。主要研究形式语言、形式系统和逻辑
真假值 （数理逻辑 名词）
真假值( truth value) 指的是数理逻辑用语。在二值逻辑中，指命题变元
形式化算术 （数理逻辑 名词）
形式化算术（formalized arithmetic）是1993年公布的数学名
停机问题 （数理逻辑 名词）
停机问题是目前逻辑学的焦点，和第三次数学危机的解决方案。其本质问题是: 给定一个
形式主义逻辑学派 （数理逻辑和数学基础研究中的学派）
形式主义逻辑学派，数理逻辑和数学基础研究中的一种学派，主要代表是德国的希尔伯特。
独立性 （其他科学相关）
意志的独立性是指人的意志不易受他人的影响，有较强的独立提出和实施行为目的的能力，
序数幂 （数理逻辑 名词）
序数幂（ordinal power）是1993年公布的数学名词。
选择公理 （数理逻辑 名词）
"选择公理"有很多等价的形式(equivalent form)，以下用一个较简单
逻辑主义逻辑学派 （数理逻辑和数学基础研究中的学派）
逻辑主义逻辑学派是数理逻辑和数学基础研究中的一种学派，主要代表是英国的哲学家、数
np问题 （数理逻辑 名词）
NP问题是指存在多项式算法能够验证的非决定性问题，而其中NP完全问题又是最有可能
描述集合论 （其他数学相关）
描述集合论(Descriptivesettheory)是数学中数理逻辑、集合论的
广义连续统假设 （数理逻辑 名词）
广义连续统假设(generalized continuum hy- pothes
策梅洛-弗兰克尔集合论 （数理逻辑 名词）
策梅洛-弗兰克尔集合论(Zermelo-Fraenkel Set Theory)
高阶逻辑 （数理逻辑）
高阶逻辑亦称"广义谓词逻辑"、"高阶谓词逻辑"。一阶逻辑的推广系统，谓词逻辑的重
林登鲍姆 （数理逻辑名词）
林登鲍姆，来 源是Adolf Lindenbaum，类 型是数理逻辑名词。在 数
递归性 （语言 | 石材）
递归性(recursiveness),也可相近地理解为层次性或有机性。是机体或系
苏斯林树 （数理逻辑 名词）
苏斯林树是一种无穷树，指高度为ω1，每条链及反链均可数的树。研究苏斯林树的直接动
通用函数 （数理逻辑 名词）
通用函数(universal function)递归证明中常用的一种函数.设△。
斯科伦壳 （数理逻辑 名词）
斯科伦壳（Skolem hull）是1993年公布的数学名词。
斯科伦函数 （数理逻辑 名词）
斯科伦函数（Skolem function）是1993年公布的数学名词。
可接受标号 （数理逻辑 名词）
可接受标号是1993年全国科学技术名词审定委员会公布的数学名词。
原子公式 （数理逻辑）
原子公式，在数理逻辑中，原子公式（Atomic formula）或原子是没有子公
次递归性 （数理逻辑 名词）
次递归性（subrecursiveness）是1993年公布的数学名词。