• 逻辑和数学中,二阶逻辑是一阶逻辑的扩展,一阶逻辑是命题逻辑的扩展。二阶逻辑接着被高阶逻辑和类型论所扩展。 一阶逻辑二阶逻辑都使用了论域(有时叫做“域”或“全集”)的想法。论域是可以在其上量化的个体元素的集合。一阶逻辑只包括取值为论域的个体元素的变量和量词。例如在一阶句子∀x(x ≠ x +...
    17 KB (2,892 words) - 15:14, 9 October 2022
  • , 。然而其強度與以二階邏輯描述之邏輯式不同,前者較後者弱。理由為一階邏輯述詞之數量為可數,而二階邏輯量限所迭代的集合為不可數。 此外,二階邏輯所表示的歸納公設綜合其它皮亞諾公設為同疇(categorical),且所得之自然數模型無限大。根據勒文海姆-斯科倫定理,用一階邏輯...
    16 KB (3,007 words) - 01:39, 4 July 2025
  • 多值逻辑 三值逻辑 模糊逻辑 概率逻辑 亚结构逻辑(子结构逻辑) 线性逻辑 相干逻辑 非单调逻辑 缺省逻辑 自动认识逻辑 可废止逻辑 模态逻辑 真势模态逻辑 认识逻辑 道义逻辑 时间逻辑(时态逻辑) 动态逻辑 可证明性逻辑 可解释性逻辑 哲学逻辑 次协调逻辑(弗协调逻辑) 自由逻辑 辩证法(辩证逻辑)...
    31 KB (4,159 words) - 20:41, 5 June 2025
  • 公理 (redirect from 逻辑公理)
    ),而非邏輯公理(如 a + b = b + a {\displaystyle a+b=b+a} )則實際上是在一特定數學理論(如算術)中的定義性的性質。在後者的意思之下,公理又可被稱為「公設」。一般而言,非邏輯公理並不是一個不證自明的事實,而应该說是在建構一個數學理論的過程中被用來推導的一個形式邏輯...
    21 KB (3,504 words) - 02:51, 3 July 2025
  • Frege)的《概念文字》(Begriffsschrift)、伯特兰·罗素的《数学原理》(Principia Mathematica)等。 数学主题 逻辑 邏輯的語義 模型論 證明論 遞歸論 一階逻辑 相继式演算 直觉主义逻辑 完備性 戈特弗里德·莱布尼茨 乔治·布尔 奥古斯都·德·摩根 概念文字 戈特洛布·弗雷格 Ferreirós,...
    10 KB (1,533 words) - 01:41, 4 July 2025
  • 在数理逻辑中,谓词逻辑(英語:predicate logic)是符号形式系统的通用术语,比如一阶逻辑二阶逻辑、多类逻辑或无穷逻辑等等。 A. G. Hamilton (1978). Logic for Mathematicians. Cambridge, England: Cambridge University...
    855 bytes (66 words) - 17:25, 22 June 2025
  • 邏輯真理是逻辑学的一个基础概念,它指的是无须借助于感性经验,仅依靠一定的逻辑推理即可判定其必然为真的真理。逻辑真理虽不直接与经验相联系,但这并不意味着它与经验徹底无关。 所有的哲学逻辑 以及逻辑推论都可以被看作是对逻辑真理的阐述。 逻辑真理通常被认为是必然的真理。这意味着它们在任何情境下都不可能不是...
    2 KB (247 words) - 01:04, 28 February 2025
  • 在数学与逻辑中,高阶逻辑(缩写HOL)是谓词逻辑的一种形式,与一阶逻辑的主要区别在于增加了量词的作用元,命题变元和谓词变元也能作约束变元(受量词约束)且作谓词变元的主目,有时语义也更强。例如,可量化谓词的系统就是二阶逻辑。 高阶逻辑区别于一阶逻辑的其他方式是在构造中允许下层的类型论。高阶谓词是接受...
    8 KB (1,046 words) - 07:34, 5 March 2025
  • 在形式逻辑中,逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如,假设有两个逻辑命题,分别是“正在下雨”和“我在屋里”,我们可以将它们组成复杂命题“正在下雨,并且我在屋里”或“没有正在下雨”或“如果正在下雨,那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符(Logical...
    9 KB (208 words) - 01:41, 25 February 2025
  • 命题 (category 數理邏輯)
    一公斤等於4.739磅(假) 有些命題被認為是先驗且綜合的,例如: 直线是兩點間最短的路徑(真) 3 + 4 = 8(假) 各種數學敘述 邏輯實證主義 逻辑断言 克律西波斯 Irving & Carl 2019,第4-5頁. sfn模板錯誤: 無指向目標: CITEREFIrvingCarl2019...
    5 KB (687 words) - 06:11, 3 July 2025
  • 邏輯上,一致性(consistency)、相容性、自洽性,是指一個形式系統中不蘊涵矛盾。 所謂的矛盾有二種解讀方式: 語義上:當一個命題S是由許多命題組成時,如果所有命題可同時為真,則S是一致的,否則S是不一致的。 語法上:公理系統不能推導出兩個相反的結果。亦即不存在命題P,使得P→Q和P→~Q同時成立。...
    1 KB (121 words) - 02:30, 18 April 2023
  • 邏輯和哲學中,论证是由前提及其的一个结论组成的一系列命题。 论证分为演绎论证和归纳论证,演繹論證必为有效或无效,可以是可靠的:在有效的演绎論證中,即使一個或多個前提為假且結論為假,前提必須得出結論;在一個合理的論證中,真實的前提需要一個真實的結論。相比之下,歸納論證可以具有不同程度的邏輯...
    6 KB (817 words) - 15:51, 28 April 2025
  • 参与逻辑运算的变量叫逻辑变量,用字母A,B……表示。每个变量的取值非0 即1。 0、1不表示数的大小,而是代表两种不同的逻辑状态。 正、负逻辑规定: 正逻辑体制规定:高电平为逻辑1,低电平为逻辑0。 负逻辑体制规定:低电平为逻辑1,高电平为逻辑0。 逻辑函数:如果有若干个逻辑...
    13 KB (1,807 words) - 15:42, 5 April 2024
  • 与一阶逻辑不同,命题逻辑不处理非逻辑对象、以及关于它们的谓词或量词。然而,命题逻辑的所有机制都包含在一阶逻辑和高阶逻辑中。从这个意义上说,命题逻辑是一阶逻辑和高阶逻辑的基础。 在邏輯和數學裡, 命题逻辑是一個形式系統, 有可以由以邏輯運算符結合原子命題來構成代表「命題」的公式,以及允許某些公式建構成「定理」的一套形式「證明規則」。...
    29 KB (5,010 words) - 04:56, 19 May 2025
  • 恆真式 (redirect from 重言式 (邏輯))
    恆真式(tautology)又称为套套邏輯、恆真句、恆真式或重言式等。 恆真式是指在任何解釋下皆為真的命題,例如经典逻辑中的 P ∨ ¬ P {\displaystyle P\vee \neg P} 、 P → P {\displaystyle P\to P} 、 ( P ∧ Q ) ∨ R ↔ (...
    4 KB (737 words) - 04:20, 10 January 2024
  • 符合「大於任何使用集合論語言,並用不超過古戈爾個符號所能表示的數」的最小數 後來它被重新定義為「符合『大於任何使用一階邏輯語言,並用不超過古戈爾個符號所能表示的數』的最小數」。 這個數的正式定義使用了二階邏輯,在下式中, [ ϕ ] {\displaystyle [\phi ]} 為哥德爾編號,而 s {\displaystyle...
    5 KB (427 words) - 05:27, 19 January 2022
  • 一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统,也可以稱為:一阶斷言演算、低階斷言演算、量化理論或谓词逻辑。一階邏輯和命題邏輯的不同之處在於,一階邏輯包含量詞。 高階邏輯和一階邏輯不同之處在於,高階邏輯的斷言符號可以有斷言符號或函數符號當做引數,且容許斷言量詞或函數量詞。在一階邏輯...
    116 KB (12,872 words) - 04:54, 19 May 2025
  • 在邏輯學中的三值邏輯(three-valued,也稱為三元(ternary),或三价(trivalent)邏輯,有時縮寫為3VL)是幾個多值逻辑系統中的其中之一。有三種狀態來表示真、假和一個表示不確定的第三值;这相对於基礎的二元邏輯(比如布尔逻辑,它只提供真假兩種狀態)。概念形式和基本思想最初由 JanŁukasiewicz和...
    8 KB (1,025 words) - 15:13, 9 October 2022
  • 哥德尔不完备定理 (category 數理邏輯)
    在数理逻辑中,哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。第一条定理指出: 这是形式逻辑中的定理,容易被错误表述。有许多命题听起来很像是哥德尔不完备定理,但事实上并不是。具体实例见对哥德尔定理的误解。 把第一条定理的证明过程在体系内部形式化后,哥德尔证明了第二条定理。该定理指出:...
    21 KB (3,451 words) - 03:48, 19 March 2025
  • 逻辑中,陈述p和q是逻辑等价的,如果它们有相同的逻辑内容。 p和q是语法等价的,如果每个都可以证明自另一个。p和q是语义等价的,如果它们在所有模型中有相同的真值。 逻辑等价经常混淆于实质等价。前者是在元语言中的一个陈述,断言关于目标语言中的陈述p和q的某个事情。而p和q的实质等价(常写为"p ↔...
    3 KB (269 words) - 14:53, 9 October 2022
  • 真值表 (redirect from 逻辑)
    真值表是使用於邏輯中(特別是在連結邏輯代數、布林函數和命題邏輯上)的一類數學用表,用來計算邏輯表示式在每種論證(即每種邏輯變數取值的組合)上的值。尤其是,真值表可以用來判斷一個命題表示式是否對所有允許的輸入值皆為真,亦即是否為邏輯有效的。 「用真值表製表的推理模式是由弗雷格、查尔斯·皮尔士和恩斯特·...
    10 KB (916 words) - 18:01, 2 March 2025
  • 在他的证明中发现了一个错误。在此之後,Ernst Zermelo 引入了 “無可非議” 的选择公理,以证明良序定理。事實上在一階邏輯下,良序定理等价于选择公理,其中一个和 Zermelo-Frankel 集合論一起即可证明另一个;在二階邏輯下良序定理略強於選擇公理。 良序定理可給出似乎是悖论的推论,比如 Banach-Tarski 悖论。...
    5 KB (736 words) - 11:21, 15 December 2024
  • P=NP问题可以用逻辑命题的特定类的可表达性的术语来重新表述。所有P中的语言可以用一阶逻辑加上最小不动点操作(实际上,这允许了递归函数的定义)来表达。类似,NP是可以用存在性二阶逻辑来表达—也就是,在关系、函数、和子集上排除了全称量词的二阶逻辑。多项式等级,PH中的语言对应与所有的二阶逻辑...
    23 KB (2,977 words) - 09:29, 6 October 2024
  • 除法——運算 论域 双重否定 对偶——修辞手法 初等等价 蕴含 等价 等价关系——传递的自反对称关系 歧义 演绎逻辑——邏輯上可以理解為前提的推理方法可以得出邏輯上的某些結論 排中律——传统逻辑基本规律之一,即认定对于每个命题,要么其为真,要么其为假 存在概括 存在量词 解释——對事物的現象、過程、狀態、道理等進行描述...
    10 KB (1,804 words) - 20:22, 4 June 2025
  • 谓词变量 (category 邏輯符號)
    在一阶逻辑中,谓词变量是表示(在项之间的)一个关系的谓词字母,这个关系还没有被特殊的指派任何特定的关系(或意义(内涵))。在一阶逻辑(FOL)中它们可以被更合适的到叫做"元变量"。在高阶逻辑中谓词变量对应于"命题变量",它可以表示同一个逻辑中的合式公式,而这种变量可以被通过(至少)二阶量词的方式来量化。...
    3 KB (474 words) - 15:51, 24 December 2018
  • 蕴涵 (redirect from 逻辑蕴涵)
    蕴涵(英語:Entailment)在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系,一般使用⇒符号表示。 A ⊨ B {\displaystyle A\models B} 语义蕴涵也叫做逻辑蕴涵(Logical Implication),亦可以读作 B 是 A 的语义后承。 陈述句子集合A语义上蕴涵句子集合B。...
    3 KB (473 words) - 06:37, 27 June 2025
  • 逻辑和数学中,逻辑合取或逻辑与或且是一个二元逻辑運算符。如果其两个变量的真值都为“真”,其结果为“真”,否则其结果为“假”。 基本符号: ∧ {\displaystyle \land } 英文名:logical conjunction 中文名:逻辑与,合取,交集,按位与,逻辑乘,与门,......
    8 KB (1,128 words) - 04:32, 25 February 2025
  • 经典逻辑(英語:Classical logic),也被稱為標準邏輯(standard logic),标识已经被最深入的研究和最广泛的使用的一类演绎推理逻辑。经典逻辑是19和20世纪的创新,它比亚里士多德的词项逻辑具有更广泛的应用,并且能够将亚里士多德的传统逻辑表述为一个特例。经典逻辑...
    7 KB (937 words) - 13:22, 5 July 2025
  • 在语言和逻辑中,量化是用量词指定一个谓词的有效性的广度的构造,就是说指定谓词在一定范围的事物上成立的程度。产生量化的语言元素叫做量词。结果的句子是量化的句子,我们称我们已经量化了这个谓词。量化在自然语言和形式语言中都使用。在自然语言中,量词的例子有“所有”、“某些”;“很多”、“少量”、“大量”也是...
    16 KB (2,781 words) - 10:56, 11 November 2024
  • 邏輯哲學論》,任何命題不能包含自身,同理一個函數不能包含自身。 罗素悖论中,在逻辑上它们都有无法摆脱概念自指所带来的恶性循环。因此,罗素提出了恶性循环原则(英语:Vicious_circle_principle),禁止使用包含被定义对象本身的的集合来定义该对象。逻辑...
    4 KB (964 words) - 14:03, 5 July 2025
  • 的數學理論,包含集合和元素(或稱為成員)、關係等最基本數學概念。在大多數現代數學的公式化中,都是在集合論的語言下談論各種数学对象。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎,以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾...
    22 KB (3,659 words) - 16:39, 5 February 2025