在逻辑和数学中，二阶逻辑是一阶逻辑的扩展，一阶逻辑是命题逻辑的扩展。二阶逻辑接着被高阶逻辑和类型论所扩展。 一阶逻辑和二阶逻辑都使用了论域（有时叫做“域”或“全集”）的想法。论域是可以在其上量化的个体元素的集合。一阶逻辑只包括取值为论域的个体元素的变量和量词。例如在一阶句子∀x(x ≠ x +...

在数学与逻辑中，高阶逻辑（缩写HOL）是谓词逻辑的一种形式，与一阶逻辑的主要区别在于增加了量词的作用元，命题变元和谓词变元也能作约束变元（受量词约束）且作谓词变元的主目，有时语义也更强。例如，可量化谓词的系统就是二阶逻辑。 高阶逻辑区别于一阶逻辑的其他方式是在构造中允许下层的类型论。高阶谓词是接受...

多值逻辑 三值逻辑 模糊逻辑 概率逻辑 亚结构逻辑（子结构逻辑） 线性逻辑 相干逻辑 非单调逻辑 缺省逻辑 自动认识逻辑 可废止逻辑 模态逻辑 真势模态逻辑 认识逻辑 道义逻辑 时间逻辑（时态逻辑） 动态逻辑 可证明性逻辑 可解释性逻辑 哲学逻辑 次协调逻辑（弗协调逻辑） 自由逻辑 辩证法（辩证逻辑）...

， 。然而其強度與以二階邏輯描述之邏輯式不同，前者較後者弱。理由為一階邏輯述詞之數量為可數，而二階邏輯量限所迭代的集合為不可數。 此外，二階邏輯所表示的歸納公設綜合其它皮亞諾公設為同疇(categorical)，且所得之自然數模型無限大。根據勒文海姆-斯科倫定理，用一階邏輯...

Frege）的《概念文字》（Begriffsschrift）、伯特兰·罗素的《数学原理》（Principia Mathematica）等。 数学主题 逻辑 邏輯的語義 模型論 證明論 遞歸論 一階逻辑 相继式演算 直觉主义逻辑 完備性 戈特弗里德·莱布尼茨 乔治·布尔 奥古斯都·德·摩根 概念文字 戈特洛布·弗雷格 Ferreirós,...

在数理逻辑中，谓词逻辑（英語：predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑、多类逻辑或无穷逻辑等等。 A. G. Hamilton (1978). Logic for Mathematicians. Cambridge, England: Cambridge University...

经典逻辑（英語：Classical logic），也被稱為標準邏輯（standard logic），标识已经被最深入的研究和最广泛的使用的一类演绎推理逻辑。经典逻辑是19和20世纪的创新，它比亚里士多德的词项逻辑具有更广泛的应用，并且能够将亚里士多德的传统逻辑表述为一个特例。经典逻辑...

神諭的機器所解決的複雜度類。), P#P (根據Toda's theorem),以及PSPACE裡面。 PH有一個簡單的邏輯描述方法：PH是一個能以二階邏輯所表示語言的集合。 PH包含了幾乎所有在PSPACE裡面有名的複雜度類;舉例來說，像是P, NP，和co-NP。甚至還包含了一些概率...

在邏輯學中的三值邏輯（three-valued，也稱為三元（ternary），或三价（trivalent）邏輯，有時縮寫為3VL）是幾個多值逻辑系統中的其中之一。有三種狀態來表示真、假和一個表示不確定的第三值；这相对於基礎的二元邏輯（比如布尔逻辑，它只提供真假兩種狀態）。概念形式和基本思想最初由 JanŁukasiewicz和...

逻辑学家不能完全避免提供某种处理这些句子的意义的需求。逻辑的语义指称逻辑学家已经介入来理解和确定他们感兴趣的意义部分的方式；逻辑学家在传统上只对是命题的句子感兴趣，它是适合逻辑操纵的理想的句子。 直到现代逻辑出现之前，亚里士多德的工具论特别是解释篇，提供了理解逻辑...

邏輯上，一致性（consistency）、相容性、自洽性，是指一個形式系統中不蘊涵矛盾。 所謂的矛盾有二種解讀方式： 語義上：當一個命題S是由許多命題組成時，如果所有命題可同時為真，則S是一致的，否則S是不一致的。 語法上：公理系統不能推導出兩個相反的結果。亦即不存在命題P，使得P→Q和P→~Q同時成立。...

邏輯公理並不是一個不證自明的事實，而应该說是在建構一個數學理論的過程中被用來推導的一個形式邏輯表示式。要公理化一個知識系統，就是要去證明該系統的主張都可以由數目不多而又可明確理解的陳述（公理）推導出來。一般來說都有多種方法來公理化一個給定的數學領域。 然而，邏輯公理系統也並非唯一。直覺主義邏輯...

在邏輯和哲學中，论证是由前提及其的一个结论组成的一系列命题。 论证分为演绎论证和归纳论证，演繹論證必为有效或无效，可以是可靠的：在有效的演绎論證中，即使一個或多個前提為假且結論為假，前提必須得出結論；在一個合理的論證中，真實的前提需要一個真實的結論。相比之下，歸納論證可以具有不同程度的邏輯...

与一阶逻辑不同，命题逻辑不处理非逻辑对象、以及关于它们的谓词或量词。然而，命题逻辑的所有机制都包含在一阶逻辑和高阶逻辑中。从这个意义上说，命题逻辑是一阶逻辑和高阶逻辑的基础。 在邏輯和數學裡， 命题逻辑是一個形式系統, 有可以由以邏輯運算符結合原子命題來構成代表「命題」的公式，以及允許某些公式建構成「定理」的一套形式「證明規則」。...

邏輯真理是逻辑学的一个基础概念，它指的是无须借助于感性经验，仅依靠一定的逻辑推理即可判定其必然为真的真理。逻辑真理虽不直接与经验相联系，但这并不意味着它与经验徹底无关。 所有的哲学逻辑 以及逻辑推论都可以被看作是对逻辑真理的阐述。 逻辑真理通常被认为是必然的真理。这意味着它们在任何情境下都不可能不是...

在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”，我们可以将它们组成复杂命题“正在下雨，并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符（Logical...

在逻辑和数学中，逻辑合取或逻辑与或且是一个二元逻辑運算符。如果其两个变量的真值都为“真”，其结果为“真”，否则其结果为“假”。 基本符号： ∧ {\displaystyle \land } 英文名：logical conjunction 中文名：逻辑与，合取，交集，按位与，逻辑乘，与门，......

在逻辑中，陈述p和q是逻辑等价的，如果它们有相同的逻辑内容。 p和q是语法等价的，如果每个都可以证明自另一个。p和q是语义等价的，如果它们在所有模型中有相同的真值。 逻辑等价经常混淆于实质等价。前者是在元语言中的一个陈述，断言关于目标语言中的陈述p和q的某个事情。而p和q的实质等价（常写为"p ↔...

長榮交響樂團（Evergreen Symphony Orchestra） 口袋嘻遊（Ether Saga Odyssey），線上遊戲 上古卷軸Online（The Elder Scrolls Online），線上遊戲 存在二階邏輯（Existential second-order logic） 瘦子E.SO（台灣饒舌歌手）...

多值逻辑是有多于两个的可能的真值的逻辑演算。传统上，逻辑演算是二值的，就是说对于任何命题都只有两个可能的真值，真和假（它一般对应于我们直觉概念的真理和虚假）。但是二值只有一个可以被指派的可能的真值范围，已经开发了一些其他逻辑系统，带有对二值的变异，或带有多于两个可能的真值指派。...

解釋是一種將形式語言中的符號賦予意義的行為。許多使用於數學、邏輯及理論電腦科學的形式語言都會以純句法的方式定義，且直到給予某些解釋之前，不含有任何意義。一般研究形式語言的解釋的學科稱為形式語義學。 最常研究的形式邏輯為命題邏輯、謂詞邏輯及其衍生的邏輯，且此類的邏輯都已經有標準的方式來給出解釋。在這些情況下，解釋...

自由逻辑是免除存在性假定的逻辑。或者说，它是定理在包括空域的所有论域中都有效的逻辑。 在经典逻辑中，有些定理明确的假定在论域中必须有东西。考虑下列经典的有效定理。 1. ∀ x A ( x ) → ∃ x A ( x ) {\displaystyle \forall xA(x)\rightarrow...

参与逻辑运算的变量叫逻辑变量，用字母A，B……表示。每个变量的取值非0 即1。 0、1不表示数的大小，而是代表两种不同的逻辑状态。 正、负逻辑规定： 正逻辑体制规定：高电平为逻辑1，低电平为逻辑0。 负逻辑体制规定：低电平为逻辑1，高电平为逻辑0。 逻辑函数：如果有若干个逻辑...

一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统，也可以稱為：一阶斷言演算、低階斷言演算、量化理論或谓词逻辑。一階邏輯和命題邏輯的不同之處在於，一階邏輯包含量詞。 高階邏輯和一階邏輯不同之處在於，高階邏輯的斷言符號可以有斷言符號或函數符號當做引數，且容許斷言量詞或函數量詞。在一階邏輯...

在一阶逻辑中，谓词变量是表示(在项之间的)一个关系的谓词字母，这个关系还没有被特殊的指派任何特定的关系(或意义(内涵))。在一阶逻辑(FOL)中它们可以被更合适的到叫做"元变量"。在高阶逻辑中谓词变量对应于"命题变量"，它可以表示同一个逻辑中的合式公式，而这种变量可以被通过(至少)二阶量词的方式来量化。...

{\displaystyle {\mathcal {L}}} 的一个偏函数，它完全定义在 L {\displaystyle {\mathcal {L}}} 的非逻辑符号之上，使得 L {\displaystyle {\mathcal {L}}} 的常量符号对应于 A   {\displaystyle {\mathit...

符合「大於任何使用集合論語言，並用不超過古戈爾個符號所能表示的數」的最小數 後來它被重新定義為「符合『大於任何使用一階邏輯語言，並用不超過古戈爾個符號所能表示的數』的最小數」。 這個數的正式定義使用了二階邏輯，在下式中， [ ϕ ] {\displaystyle [\phi ]} 為哥德爾編號，而 s {\displaystyle...

真值表是使用於邏輯中（特別是在連結邏輯代數、布林函數和命題邏輯上）的一類數學用表，用來計算邏輯表示式在每種論證（即每種邏輯變數取值的組合）上的值。尤其是，真值表可以用來判斷一個命題表示式是否對所有允許的輸入值皆為真，亦即是否為邏輯有效的。 「用真值表製表的推理模式是由弗雷格、查尔斯·皮尔士和恩斯特·...

恆真式（tautology）又称为套套邏輯、恆真句、恆真式或重言式等。 恆真式是指在任何解釋下皆為真的命題，例如经典逻辑中的 P ∨ ¬ P {\displaystyle P\vee \neg P} 、 P → P {\displaystyle P\to P} 、 ( P ∧ Q ) ∨ R ↔ (...

在语言和逻辑中，量化是用量词指定一个谓词的有效性的广度的构造，就是说指定谓词在一定范围的事物上成立的程度。产生量化的语言元素叫做量词。结果的句子是量化的句子，我们称我们已经量化了这个谓词。量化在自然语言和形式语言中都使用。在自然语言中，量词的例子有“所有”、“某些”；“很多”、“少量”、“大量”也是...

在數理邏輯上，獨立性指的是一個句子相對於其他句子的不可證明性。 若一個句子 σ {\displaystyle \sigma } 獨立於一個一階理論（英语：Theory (mathematical logic)） T {\displaystyle T} ，那就表示說 σ {\displaystyle \sigma...