比浏览器更快的访问！
14 关系: 原子句子，原子公式，句子 (数理逻辑)，合式公式，常数，一阶逻辑，命题，元数，省略号，谓词变量，自由变量和约束变量，T-模式，泛函谓词，数理逻辑。
原子句子
在命题演算和谓词演算中，原子公式要么是命题字母要么是跟随着n个变量的n元谓词字母。原子句子同于上述描述，除了n元谓词字母跟随着n个常量或函子（functor）之外。 例如，设P, M, T是谓词字母；设a, b, c，等是常量项；但设x, y, z是变量项；并设p是命题字母。则下列都是原子句子：.
新！!: 公式 (数理逻辑)和原子句子 · 查看更多 »
原子公式
在数理逻辑中， 原子公式（英語：Atomic formula）或原子是没有子公式的公式。把什么公式当作原子依赖于所使用的逻辑。例如在命题逻辑中，唯一的原子公式是命题变量。 原子是在逻辑系统中"最小"的公式。在逻辑系统中的合式公式通常通过识别所有有效的原子公式，和给出从两个原子公式建立公式的规则而递归的定义。从原子公式制作的公式是复合公式。 例如，在命题逻辑中你有如下的公式构造规则.
新！!: 公式 (数理逻辑)和原子公式 · 查看更多 »
句子 (数理逻辑)
在数理逻辑中，句子是没有自由变量的公式；在模型论中，一个句子在给定的数学结构中要么是真要么是假。 例如 不是一个句子，因为出现了自由变量y；在实数的结构中，如果y.
新！!: 公式 (数理逻辑)和句子 (数理逻辑) · 查看更多 »
合式公式
在形式系統與逻辑中，WFF是合式公式（well-formed formula）的缩写。给定一个形式文法，WFF是这个文法生成的任何字符串。 例如，在命题演算中符号序列((\alpha\rightarrow\beta)\rightarrow(\neg\beta\rightarrow\neg\alpha))是一个WFF，因为它在文法上正确。符号序列((\alpha\rightarrow\beta)\rightarrow(\beta\beta))\alpha))不是WFF，因为它不符合命题演算的文法。 在形式逻辑中，证明是有特定性质的WFF序列，而序列中最终的WFF就是要证明的。.
新！!: 公式 (数理逻辑)和合式公式 · 查看更多 »
常数
常数又稱定數，是指一个数值固定不变的常量，例如圆周率\pi\,、自然对数的底e，与之相反的是變數。 在物理學上，很多經測量得出的數值都被稱為常數。例如萬有引力常數和地表重力加速度等。但有研究表明，部分這類常数并不是恒定不变的，因此就被稱作“不定常数”（inconstant constant）和“不恒定的常数”（not-so-constant constant）。.
新！!: 公式 (数理逻辑)和常数 · 查看更多 »
一阶逻辑
一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统。 過去一百多年，一階邏輯出現過許多種名稱，包括：一阶斷言演算、低階斷言演算、量化理論或斷言逻辑（一個較不精確的用詞）。一階邏輯和命題邏輯的不同之處在於，一階邏輯有使用量化變數。一個一階邏輯，若具有由一系列量化變數、一個以上有意義的斷言字母及包含了有意義的斷言字母的純公理所組成的特定論域，即是一個一階理論。 一階邏輯和其他高階邏輯不同之處在於，高階邏輯的斷言可以有斷言或函數當做引數，且允許斷言量詞或函數量詞的（同時或不同時）存在。在一階邏輯中，斷言通常和集合相關連。在有意義的高階邏輯中，斷言則會被解釋為集合的集合。 存在許多對一階邏輯是可靠（所有可證的敘述皆為真）且完備（所有為真的敘述皆可證）的演繹系統。雖然一階邏輯的邏輯歸結只是半可判定性的，但還是有許多用於一階邏輯上的自動定理證明。一階邏輯也符合一些使其能通過證明論分析的元邏輯定理，如勒文海姆–斯科倫定理及緊緻性定理。 一階邏輯是數學基礎中很重要的一部份，因為它是公理系統的標準形式邏輯。許多常見的公理系統，如一階皮亞諾公理和包含策梅洛-弗蘭克爾集合論的公理化集合論等，都可以形式化成一階理論。然而，一階定理並沒有能力去完整描述及範疇性地建構如自然數或實數之類無限的概念。這些結構的公理系統可以由如二階邏輯之類更強的邏輯來取得。.
新！!: 公式 (数理逻辑)和一阶逻辑 · 查看更多 »
命题
在现代哲学、逻辑学、语言学中，命题是指一个判断（陳述）的语义（實際表達的概念），這個概念是可以被定義並觀察的現象。命题不是指判断（陳述）本身。当相異判断（陳述）具有相同语义的时候，他们表达相同的命题。例如，雪是白的（汉语）和 Snow is white（英语）是相異的判断（陳述），但它们表达的命题是相同的。在同一种语言中，两个相異判断（陳述）也可能表达相同命题。例如，刚才的命题也可以说成冰的小结晶是白的，不過，之所以是相同命题，取決於冰的小结晶可視為雪的有效定義。 通常，命題是指閉判斷，以區別於開判斷，或謂詞。在這種情況下，命題不是真的就是假的。哲學學派邏輯實證主義支援這一命題的概念。 一些哲學家，諸如約翰•希爾勒，認為其他形式的語言或行為也判定命題。是非疑問句是對命題真值的詢問。道路交通標誌不通過語言和文字也表達了命題。使用陳述句也可能給出一個命題而不判定它，例如，在當老師請學生對某個引用發表意見的時候，這個引用就是一個命題（即它有語義）而這個老師並沒有判定它。在上一段中，只給出了命題雪是白的，但沒有判定它。.
新！!: 公式 (数理逻辑)和命题 · 查看更多 »
元数
在邏輯、數學及電腦科學裡，函數或運算的元數是指所需的參數或運算元的數量。關係的元數則是指其對應之笛卡兒積的維度。 元數主要用在下面類型的函數之中：f: V → S，其中的V ⊂ Sn，且S是某個集合。此類函數通常稱為在S上的「運算」，且稱n是這個運算的元數。.
新！!: 公式 (数理逻辑)和元数 · 查看更多 »
省略号
省略号（……，ellipsis，又称刪節號），用于省略原文的符号，行文中占二格。文章內使用時機為：“引文的省略，用省略號標明。”“列舉的省略，用省略號標明。”“說話斷斷續續，可以用省略號標示。”“用在表示节省原文或语句未完、意思未尽等。” 要注意的是在中文裡省略號和「等等」只可任用其一，如果使用了省略號，就不應再寫上「等等」，例如「中國傳統節日有端午節、中秋節、重陽節……等等」並不正確。 中文省略號源自英文的 ellipsis；原為三點，但由於，故改為六點，佔兩個字位。.
新！!: 公式 (数理逻辑)和省略号 · 查看更多 »
谓词变量
在一阶逻辑中，谓词变量是表示(在项之间的)一个关系的谓词字母，这个关系还没有被特殊的指派任何特定的关系(或意义(内涵))。在一阶逻辑(FOL)中它们可以被更合适的到叫做"元变量"。在高阶逻辑中谓词变量对应于"命题变量"，它可以表示同一个逻辑中的合式公式，而这种变量可以被通过(至少)二阶量词的方式来量化。 在元变量意义上，谓词变量可以用来定义公理模式。谓词变量应当区别于谓词常量，它可以被表示为要么通过不同的(排他的)谓词字母集合，要么通过在其论域中实际上有自己特殊的意义的符号: 比如.
新！!: 公式 (数理逻辑)和谓词变量 · 查看更多 »
自由变量和约束变量
在数学和其他涉及形式语言的学科中，包括数理逻辑和计算机科学，自由变量是在表达式中用于表示一个位置或一些位置的符号，某些明确的代换可以在其中发生，或某些运算（比如总和或量化）可以在其上发生。这个概念有关于占位符（它是以后会被所替换），或表示未指定符号的通配符，但更加深入和复杂。 变量 x 成为约束变量，比如 或 在任何这种命题中，是否使用 x 或其他什么字母在逻辑上不重要。但是，在复合命题的其他地方再次使用同一个字母可能导致冲突。就是说，自由变量变成了约束的，并在支持公式的格式化的进一步工作中在某种意义上退休了。.
新！!: 公式 (数理逻辑)和自由变量和约束变量 · 查看更多 »
T-模式
T-模式（也叫做约定T）是位于 Alfred Tarski 的真理的语义理论的任何实现的核心位置的归纳定义，表达了真理在逻辑运算符上的交换性。 T-模式经常用自然语言表达，但它们很容易接纳多类谓词逻辑或模态逻辑的形式化；比如叫做 T-理论的公式化。T-理论构成了哲学逻辑中很多基础工作的基础，它们被应用于分析哲学中很多重要争论。它们也是在模型论背后的基础直觉；或者说模型论实现了它们。.
新！!: 公式 (数理逻辑)和T-模式 · 查看更多 »
泛函谓词
在形式逻辑和相关的数学分支中，泛函谓词或函数符号是应用于一个对象项而生成另一个对象项的逻辑符号。泛函谓词有时也叫做映射，但是这个术语还有其他意义。在模型中，函数符号被建模为函数。 特别是，在形式语言中的符号 F 是函数符号，如果给定任何表示在语言中的一个对象的符号 x，F(x) 也是表示这个语言中一个对象的符号。在有类型逻辑中，F 是带有域类型 T 和陪域类型 U 的函数符号，如果给定表示类型 T 的一个对象的任何符号 x，F(x) 也是表示类型 U 的对象的符号。你可以类似的定义多于一个变量的函数符号，类比于多于一个变量的函数；零 个变量的函数符号简单的是一个常量符号。 现在考虑这个形式语言的模型，它带有类型 T 和 U 被建模为集合 和 ，而类型 T 的每个符号 X 被建模为 中的元素 。则 F 可以被建模为集合 它简单的是带有域 和陪域 的一个函数。.
新！!: 公式 (数理逻辑)和泛函谓词 · 查看更多 »
数理逻辑
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。.
新！!: 公式 (数理逻辑)和数理逻辑 · 查看更多 »
重定向到这里：
命题公式。
