您的当前位置：领域 > 数理逻辑 领域
约束变量 （函数 | 石材）
量化一个合式公式中的某个变量所得到的表达式也是合式公式。
力迫关系 （数理逻辑 名词）
力迫关系在力迫法中力迫关系通常记为? （读作力迫），是定义在基础模型 M 中一个
逻辑等值 （数理逻辑 名词）
逻辑等值（logically equivalent）是1993年公布的数学名词。
朴素集合论 （其他数学相关）
在纯数学中，朴素集合论是由德国数学家康托尔最早创立的第一个集合论，它后来被更加精
命题形式 （数理逻辑术语）
命题形式(propositional forms)数理逻辑术语.是由命题变元p，
命题公式 （数理逻辑术语）
命题公式(propositional formula)亦称合式公式，是数理逻辑术
非标准量词 （数理逻辑 名词）
非标准量词（non-standard quantifier）是1993年公布的数
论题 （词汇）
论题读作lùn tí，解释为一门知识，是论述者所主张并加以辩证的命题,论述题目中
直觉主义逻辑学派 （数理逻辑和数学基础研究中的一种学派）
直觉主义逻辑学派是数理逻辑和数学基础研究中的一种学派，主要代表是荷兰的布劳维尔。
形式主义学派 （数理逻辑和数学基础研究中的学派）
形式主义学派，数理逻辑和数学基础研究中的一个学派。认为数学的真理性体现在它的不矛
归约 （数理逻辑 名词）
归约是使用解题的"黑盒"来解决另一个问题的思维方式。英文决其它问Reductio
良序集 （数理逻辑 名词）
设集合(S,≤)为一全序集，≤是其全序关系，若对任意的S的非空子集，在其序下都有
互斥析取 （数理逻辑 名词）
互斥析取（exclusive disjunction）是1993年公布的数学名词
联结词 （数理逻辑 名词）
联结词亦称命题联结词，命题逻辑的基本概念之一，指由已有的命题构造出新命题所用的词
连续统假设 （数理逻辑 名词）
1874年格奥尔格·康托尔猜测在可列集基数和实数基数之间没有别的基数，这就是著名
不可达基数 （数理逻辑 名词）
不可达基数(inaccessible cardinals)强弱不可达基数的统称.
矢列式 （数理逻辑 名词）
矢列式（sequent）是1993年公布的数学名词。
第一超穷序数 （数理逻辑 名词）
第一超穷序数（first transfinite ordinal）是1993年公
函数符号 （其他科学相关）
约翰.伯努利於1694年首次提出函数(function)概念，并以字母 n 表示
序数积 （数理逻辑 名词）
序数积（ordinal product）是1993年公布的数学名词。
共尾性 （数理逻辑 名词）
共尾性（cofinality）是1993年公布的数学名词。
奇异序数 （数理逻辑 名词）
奇异序数（singular ordinal）是1993年公布的数学名词。
构造序数 （数理逻辑 名词）
构造序数（constructive ordinals）是1993年公布的数学名词
摹状算子 （数理逻辑 名词）
摹状算子（description operator）是1993年公布的数学名词。
谕示 （数理逻辑 名词）
谕示，是一个汉语词汇，拼音yù shì，释义为上级对下级或长辈对晚辈的指示。解释
良序 （数理逻辑 名词）
良序是数学用语的称呼。定义设集合 (S ,≤) 为一全序集，≤是其偏序关系。对任
真假值表归约性 （数理逻辑 名词）
真假值表归约性（truth table reducibility）是1993年公
元逻辑 （石材）
元逻辑是以形式化的逻辑系统为研究对象的一门学科。主要研究形式语言、形式系统和逻辑
递归集 （数理逻辑 名词）
递归集是递归论用语。令A?Nn，如果A的特征函数CA(x1，…，xn)是μ-递归
真假值 （数理逻辑 名词）
真假值( truth value) 指的是数理逻辑用语。在二值逻辑中，指命题变元
模型论 （数理逻辑 名词）
模型论(Model theory)是数学的一个学科，模型论的一些重要定理，如紧致
形式化算术 （数理逻辑 名词）
形式化算术（formalized arithmetic）是1993年公布的数学名
停机问题 （数理逻辑 名词）
停机问题是目前逻辑学的焦点，和第三次数学危机的解决方案。其本质问题是: 给定一个
形式主义逻辑学派 （数理逻辑和数学基础研究中的学派）
形式主义逻辑学派，数理逻辑和数学基础研究中的一种学派，主要代表是德国的希尔伯特。
独立性 （其他科学相关）
意志的独立性是指人的意志不易受他人的影响，有较强的独立提出和实施行为目的的能力，
序数幂 （数理逻辑 名词）
序数幂（ordinal power）是1993年公布的数学名词。
选择公理 （数理逻辑 名词）
"选择公理"有很多等价的形式(equivalent form)，以下用一个较简单
逻辑主义逻辑学派 （数理逻辑和数学基础研究中的学派）
逻辑主义逻辑学派是数理逻辑和数学基础研究中的一种学派，主要代表是英国的哲学家、数
np问题 （数理逻辑 名词）
NP问题是指存在多项式算法能够验证的非决定性问题，而其中NP完全问题又是最有可能
描述集合论 （其他数学相关）
描述集合论(Descriptivesettheory)是数学中数理逻辑、集合论的