比浏览器更快的访问！
59 关系: 原子句子，原子公式，反證法，可靠性，可能世界，双重否定除去，合式公式，多值逻辑，定理，完备性，希尔伯特演绎系统，布尔代数，布尔逻辑，一阶逻辑，代数逻辑，形式系統，形式语言，形式文法，当且仅当，分体论 (逻辑学)，命题变量，函数，公理，算子，算术，真值表，直觉主义逻辑，相继式，相继式演算，解釋，變數，賦值，范畴论，肯定前件，重言式，量词，自然演绎，自足算子，蕴涵，集合划分，集合论，逻辑，逻辑与，逻辑等价，逻辑运算符，逻辑或，递归，GNU自由文档许可证，Q.E.D.，推理规则，...，排中律，模态逻辑，演绎定理，演绎推理，海廷代数，数学，数学归纳法，扬·武卡谢维奇，拉丁语。 扩展索引 (9 更多) »
原子句子
在命题演算和谓词演算中，原子公式要么是命题字母要么是跟随着n个变量的n元谓词字母。原子句子同于上述描述，除了n元谓词字母跟随着n个常量或函子（functor）之外。 例如，设P, M, T是谓词字母；设a, b, c，等是常量项；但设x, y, z是变量项；并设p是命题字母。则下列都是原子句子：.
原子公式
在数理逻辑中， 原子公式（英語：Atomic formula）或原子是没有子公式的公式。把什么公式当作原子依赖于所使用的逻辑。例如在命题逻辑中，唯一的原子公式是命题变量。 原子是在逻辑系统中"最小"的公式。在逻辑系统中的合式公式通常通过识别所有有效的原子公式，和给出从两个原子公式建立公式的规则而递归的定义。从原子公式制作的公式是复合公式。 例如，在命题逻辑中你有如下的公式构造规则.
反證法
反证法（又称背理法）是一种论证方式，他首先假设某命题不成立（即在原命题的条件下，结论不成立），然后推理出明显矛盾的结果，从而下结论说原假设不成立，原命题得证。 反证法与归谬法相似，但归谬法不仅包括推理出矛盾结果，也包括推理出不符事实的结果或显然荒谬不可信的结果。.
可靠性
#重定向 可靠.
可能世界
可能世界的概念被用来在哲学和逻辑中，表达模态断言。在哲学中，术语“模态”覆盖了如“可能性”、“必然性”和“偶然性”这种观念。谈论可能世界在当代哲学讨论中是非常普遍的（特别是在英语世界中），尽管有着巨大的争议。.
双重否定除去
在命題邏輯裡，雙重否定除去（或雙重否定介入）此一推理規則允許導入（雙重否定介入）或除去（雙重否定除去）一對否定來導出等價的公式。這是基於如 和 在語義上的等價。 形式上，雙重否定除去為 形式上，雙重否定介入為 這兩個規則可以重述如下（以相繼式的形式）： 應用演繹定理於這兩個推理規則中可產生一對有效的條件公式： 兩者可以結合成單一個雙條件公式 因為雙條件是一個等價關係，任一於合式公式中的~~A都可以由A所取代，而不改變此合式公式的真值。 雙重否定除去是經典邏輯裡的一個定理，但不是直覺邏輯裡的。因為直覺邏輯在結構上的偏好，「不是沒有正在下雨」此一陳述比「正在下雨」要弱。後者需要有下雨的證明，而前者只需要證明下雨不會矛盾。（此一差別亦出現在自然語言的反敘法之中。） 在集合論裡也有符合此性質的補集否定運算：集合A和集合 (AC)C（這裡的AC表A的補集）是相同的。.
新！!: 命题逻辑和双重否定除去 · 查看更多 »
合式公式
在形式系統與逻辑中，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就是要证明的。.
多值逻辑
多值逻辑是有多于两个的可能的真值的逻辑演算。传统上，逻辑演算是二值的，就是说对于任何命题都只有两个可能的真值，真和假（它一般对应于我们直觉概念的真理和虚假）。但是二值只有一个可以被指派的可能的真值范围，已经开发了一些其他逻辑系统，带有对二值的变异，或带有多于两个可能的真值指派。.
定理
定理（Theorem）是經過受邏輯限制的證明為真的陈述。一般來說，在數學中，只有重要或有趣的陳述才叫定理。證明定理是數學的中心活動。一个定理陈述一个给定类的所有（全称）元素一种不变的关系，这些元素可以是无穷多，它们在任何时刻都无区别地成立，而没有一个例外。（例如：某些a是x，某些a是y，就不能算是定理）。 猜想是相信為真但未被證明的數學敘述，或者叫做命题，當它經過證明後便是定理。猜想是定理的來源，但並非唯一來源。一個從其他定理引伸出來的數學敘述可以不經過成為猜想的過程，成為定理。 如上所述，定理需要某些邏輯框架，繼而形成一套公理（公理系統）。同時，一個推理的過程，容許從公理中引出新定理和其他之前發現的定理。 在命題邏輯，所有已證明的敘述都稱為定理。.
完备性
在数学及其相关领域中，一个对象具有完备性，即它不需要添加任何其他元素，这个对象也可称为完备的或完全的。更精确地，可以从多个不同的角度来描述这个定义，同时可以引入完备化这个概念。但是在不同的领域中，“完备”也有不同的含义，特别是在某些领域中，“完备化”的过程并不称为“完备化”，另有其他的表述，请参考代数闭域、紧化或哥德尔不完备定理。.
希尔伯特演绎系统
在逻辑特别是数理逻辑中，希尔伯特风格演绎系统是归功于弗雷格和希尔伯特的一类形式演绎系统。这种演绎系统最经常为一阶逻辑而研究，但对其他逻辑也是有价值的。 所有演绎系统都在逻辑公理和推理规则之间作出取舍平衡。希尔伯特风格的演绎系统可以刻画为选择了大量的逻辑公理模式和少量的推理规则。最常研究的希尔伯特风格演绎系统只有一个推理规则即肯定前件和几个无限公理模式。 自然演绎系统做了相反的取舍，包括了很多演绎规则但有非常少甚至没有公理模式。.
新！!: 命题逻辑和希尔伯特演绎系统 · 查看更多 »
布尔代数
在抽象代数中，布尔代数(Boolean algebra)是捕获了集合运算和逻辑运算二者的根本性质的一个代数结构（就是说一组元素和服从定义的公理的在这些元素上运算）。特别是，它处理集合运算交集、并集、补集；和逻辑运算与、或、非。 例如，逻辑断言陈述a和它的否定¬a不能都同时为真， 相似于集合论断言子集A和它的补集AC有空交集， 因为真值可以在逻辑电路中表示为二进制数或电平，这种相似性同样扩展到它们，所以布尔代数在电子工程和计算机科学中同在数理逻辑中一样有很多实践应用。在电子工程领域专门化了的布尔代数也叫做逻辑代数，在计算机科学领域专门化了布尔代数也叫做布尔逻辑。 布尔代数也叫做布尔格。关联于格（特殊的偏序集合）是在集合包含A ⊆ B和次序 a ≤ b之间的相似所预示的。考虑的所有子集按照包含排序的格。这个布尔格是偏序集合，在其中 ≤ 。任何两个格的元素，比如p .
布尔逻辑
布尔逻辑（Boolean algebra，台湾译--，中國大陸譯--）得名于乔治·布尔，他是爱尔兰科克的皇后学院的英国数学家，他在十九世纪中叶首次定义了逻辑的代数系统。现在，布尔逻辑在电子学、计算机硬件和软件中有很多应用。在1937年，克劳德·艾尔伍德·香农展示了布尔逻辑如何在电子学中使用。 使用集合代数作为介绍布尔逻辑的一种方式。还使用文氏图来展示各种布尔逻辑陈述所描述的集合联系。.
一阶逻辑
一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统。 過去一百多年，一階邏輯出現過許多種名稱，包括：一阶斷言演算、低階斷言演算、量化理論或斷言逻辑（一個較不精確的用詞）。一階邏輯和命題邏輯的不同之處在於，一階邏輯有使用量化變數。一個一階邏輯，若具有由一系列量化變數、一個以上有意義的斷言字母及包含了有意義的斷言字母的純公理所組成的特定論域，即是一個一階理論。 一階邏輯和其他高階邏輯不同之處在於，高階邏輯的斷言可以有斷言或函數當做引數，且允許斷言量詞或函數量詞的（同時或不同時）存在。在一階邏輯中，斷言通常和集合相關連。在有意義的高階邏輯中，斷言則會被解釋為集合的集合。 存在許多對一階邏輯是可靠（所有可證的敘述皆為真）且完備（所有為真的敘述皆可證）的演繹系統。雖然一階邏輯的邏輯歸結只是半可判定性的，但還是有許多用於一階邏輯上的自動定理證明。一階邏輯也符合一些使其能通過證明論分析的元邏輯定理，如勒文海姆–斯科倫定理及緊緻性定理。 一階邏輯是數學基礎中很重要的一部份，因為它是公理系統的標準形式邏輯。許多常見的公理系統，如一階皮亞諾公理和包含策梅洛-弗蘭克爾集合論的公理化集合論等，都可以形式化成一階理論。然而，一階定理並沒有能力去完整描述及範疇性地建構如自然數或實數之類無限的概念。這些結構的公理系統可以由如二階邏輯之類更強的邏輯來取得。.
代数逻辑
在數理邏輯中，代數邏輯使用抽象代數方法形式化邏輯。.
形式系統
在邏輯與數學中，一個形式系統（Formal system）是由兩個部分組成的，一個形式语言加上一個推理規則或轉換規則的集合。一個形式系統也許是純粹抽象地制定出來，只是為了研究其自身。另一方面，也可能是為了描述真實現象或客觀現實的領域而設計的。.
形式语言
在数学、逻辑和计算机科学中，形式语言（Formal language）是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样，形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。.
形式文法
在计算机科学中，形式语言是：某个字母表上，一些有限长字串的集合，而形式文法是描述这个集合的一种方法。形式文法之所以这样命名，是因为它与人类自然语言中的文法相似的缘故。 形式文法描述形式语言的基本想法是，从一个特殊的初始符号出发，不断的应用一些产生式规则，从而生成出一个字串的集合。产生式规则指定了某些符号组合如何被另外一些符号组合替换。举例来说，假设字母表只包含'a'和'b'两个字符，初始符号是'S'，我们应用下述规则： 于是我们可以通过把"S"重写为"aSb"（规则1），我们还可以继续应用这条规则把"aSb"重写为"aaSbb"。这个重写的过程不断重复，直到结果中只包含字母表中的字母为止。在例子中，我们可以得到S -> aSb -> aaSbb -> aababb这样的结果。由文法刻画的语言，包含了所有可以这样产生的字串，比如ba, abab, aababb, aaababbb等等。.
当且仅当
当且仅当（If and only if）（中国大陆又称作当且--仅当，臺灣又称作若且--唯若），在--邏輯中，逻辑算符反互斥或閘（exclusive or）是对两个运算元的一种邏輯分析类型，符号为XNOR或ENOR或\Leftrightarrow。与一般的邏輯或非NOR不同，當兩兩數值相同為是，而數值不同時為否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在，并且仅仅在这些条件成立的时候”之意，在英语中的对应标记为iff。“A当且仅当B”其他等价的说法有“当且仅当A則B”；“A是B的充分必要条件（充要條件）”。 一般而言，當我們看到“A当且仅当B”，我們可以知道“如果A成立時，則B一定成立；如果B成立時，則A也一定成立”；“如果A不成立時，則B一定不成立；如果B不成立時，則A也一定不成立”。.
分体论 (逻辑学)
在哲学方面，分体论（英文：Mereology；该单词源自希腊语“μερος”；其中，词头“meros”意思是“部分”或者说“组成部分”，而词尾“-logy”则指的是研究、学问、讨论和科学），是指一套与组成部分及其相应整体有关的公理化一阶理论。分体论既指的是谓词逻辑的一种应用，又指的是形式本体论的一个分支。.
新！!: 命题逻辑和分体论 (逻辑学) · 查看更多 »
命题变量
在数理逻辑中，命题变量(也叫做句子变量)是要么为真要么为假的变量。命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。 在逻辑中的公式典型的递归的建造自一些命题变量，一些逻辑连结词，和一些逻辑量词。命题变量是命题逻辑的原子公式。例如，在一个给定的命题逻辑中，我们可以按如下方式定义公式.
函数
函數在數學中為兩集合間的一種對應關係：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數，若以3作為此函數的輸入值，所得的輸出值便是9。 為方便起見，一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值，則其輸出值一般寫作f(x)，讀作f of x。上述的平方函數關係寫成數學式記為f(x).
公理
在傳統邏輯中，公理是沒有經過證明，但被當作不證自明的一個命題。因此，其真實性被視為是理所當然的，且被當做演繹及推論其他（理論相關）事實的起點。當不斷要求證明時，因果關係毕竟不能無限地追溯，而需停止於無需證明的公理。通常公理都很簡單，且符合直覺，如「a+b.
算子
算子（Operator）是从一个向量空间（或模）到另一个向量空间（或模）的映射。 算子对于线性代数和泛函分析都至关重要，它在纯数学和应用数学的许多其他领域中都有应用。 例如，在经典力学中，导数的使用无处不在，而在量子力学中，可观察量由埃尔米特算子表示。 各种算子可以具有包括线性、连续性和有界性等的重要性质。.
算术
算術（arithmetic）是数学最古老且最簡單的一個分支，幾乎被每個人使用著，從日常生活上簡單的算數到高深的科学及工商业計算都會用到。一般而言，算術這一詞指的是記錄數字某些運算基本性質的数学分支。常用的运算有加法、減法、乘法、除法，有时候，更复杂的运算如指数和平方根，也包括在算术运算的范畴内。算术运算要按照特定规则来进行。 自然数、整数、有理数（以分數的形式）和实数（以十进制指数的形式）的运算主要是在小学和中学的时候学习。用百分比形式进行运算也主要是在这个时候学习。然而，在成人中，很多人使用计算器，计算机或者算盘来进行数学计算。 專業数学家有時會使用高等算術來指数论，但這不應該和初等算術相搞混。另外，算術也是初等代數的重要部份之一。.
真值表
真值表是使用於邏輯中（特別是在連結邏輯代數、布爾函數和命題邏輯上）的一類數學用表，用來計算邏輯表示式在每種論證（即每種邏輯變數取值的組合）上的值。尤其是，真值表可以用來判斷一個命題表示式是否對所有允許的輸入值皆為真，亦即是否為邏輯有效的。 「用真值表製表的推理模式是由弗雷格、查尔斯·皮尔士和恩斯特·施羅德於1880年代所发明的。這種表格於1920年代之後廣泛地發現在許多文獻上頭（扬·武卡谢维奇、埃米爾·波斯特、维特根斯坦）”（蒯因, 39）。路易斯·卡罗早在1894年就公式化了真值表来解决特定问题，但是包含他这项工作的手稿直到1977年才被发现 。维特根斯坦的《逻辑哲学论》利用真值表把真值函数置于序列中。这个著作的广泛影响导致了真值表的传播。 真值表被用來計算以「決策程序」建構的命題表示式的值。命題表示式可以是一個原子公式（命題常數、命題變數或命題函數，如Px或P(x)），或以邏輯算子（如邏輯與（\land）、邏輯或（\lor）、邏輯非（\lnot））由原子公式建構出來的公式。舉例來說，Fx \land Gx即是個命題表示式。 真值表中的列标题展示了 （i）命题函数与/或变量，和 （ii）建造自这些命题函数或变量和运算符的真值泛函表达式。行展示对 （i）和 （ii）的T或F指派的每个可能的求值。换句话说，每行都是对 （i）和 （ii）的不同解释。 经典（就是说二值）逻辑的真值表限定于只有两个真值是可能的布尔逻辑系统，它们是“真”或“假”，通常在表中简单的表示为T和F。.
直觉主义逻辑
觉主义逻辑或构造性逻辑是最初由阿蘭德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。.
新！!: 命题逻辑和直觉主义逻辑 · 查看更多 »
相继式
在证明论中，相继式是对在规定演绎的演算的时候经常用到的可证明性的形式陈述。.
相继式演算
在证明论和数理逻辑中，相继式演算（又译矢列演算、矢列式演算）是众所周知的一阶逻辑（和作为它的特殊情况的命题逻辑）的演绎系统。这个系统也叫做LK系统，用以区别于后来建立的有时也叫做相继式演算的类似风格的各种其他系统。另一个给这种系统的术语是Gentzen系统。 相继式演算LK由Gerhard Gentzen介入为研究自然演绎的工具。它已经变成构造逻辑推导的非常有用的演算。它的名字得来自德语的Logischer Kalkül，意思是"逻辑演算"。相继式演算是关于这个主题的很多研究所选择的方法。.
新！!: 命题逻辑和相继式演算 · 查看更多 »
解釋
解釋，（ㄐㄧㄝˇ ㄕˋ、せつめい、explanation）是对事物的现象、过程、状态、道理等进行描述，以说明其含义、原因、理由等。这样的描述可能是建立在一定规则（如逻辑推理、科学分析）、法律基础之上的。解释也是发现新知识、探索研究对象各个方面之间的关系的方法。.
變數
在初等數學裡，變數或變元、元是一個用來表示值的符號，該值可以是隨意的，也可能是未指定或未定的。在代數運算時，將變數當作明確的數值代入運算中，可以於單次運算時解出多個問題。一個典型的例子為一元二次公式，該公式可以解出每個一元二次方程的值，只需要將方程的系數代入公式中的變數即可。 變數這個概念在微積分中非常重要。一般，一個函數y.
賦值
在代数中，赋值是域元素的阶（多少）或元素重复度一个度量。推广到交换代数，就是对复分析中极点，零点重复度度量，推广到代数数论中的代数整数整性的度量，在代数几何中也有类似概念，一个域与它的赋值被称为赋值域。.
范畴论
疇論是數學的一門學科，以抽象的方法來處理數學概念，將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇，並且使用範疇論，令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇，其物件為集合，態射為集合間的函數。但需注意，範疇的物件不一定要是集合，態射也不一定要是函數；一個數學概念若可以找到一種方法，以符合物件及態射的定義，則可形成一個有效的範疇，且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群，其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現，在理論電腦科學的某些領域中用于對應資料型別，而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義，對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」，即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。.
肯定前件
在逻辑中，肯定前件（拉丁语：Modus ponens）是有效的、简单的论证形式（常缩写为MP）.
重言式
#重定向 套套邏輯.
量词
量詞（measure word），學術名稱分類詞（classifier），是一种存在于某些语言中的词语或语素，用来区分由可数名词指代的不同事物。在存在分类词的语言中，分类词常常用于名词被计数或者特指的情况（例如和数词或连用的时候）。东亚语言一般必須使用分類詞，例如中文裡“三个人”的“个”，“两头牛”的“头”；而一些语言则不使用或很少使用分类词，例如英语中的“three people”就不需要使用任何分类词。 分类词不应与名词类别混淆。后者通常不是根据词的含义分类，而是根据诸如词法来分类。.
自然演绎
在数理逻辑中，自然演绎是证明论中尝试提供象“自然”发生一样的逻辑推理形式模型的一种方式。這種方式對比於使用公理的公理系統。.
自足算子
自足算子或自足连结词是在一特定类的算子中只靠自身就能生成所有这些算子的算子。在逻辑中，它是足够生成所有布尔值函数的一个逻辑算子，f: X \to \mathbb ，这里的 X\! 是一个任意集合而 \mathbb 是一个通用的 2-元素集合，典型为 \mathbb.
蕴涵
蕴涵（implication或entailment）在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系。.
集合划分
在数学中，集合X的划分是把X分割到覆盖了X的全部元素而又不重叠的“部分”或“块”或“单元”中。更加形式的说，这些“单元”對于被划分的集合是既又相互排斥的。.
集合论
集合論（Set theory）或稱集論，是研究集合（由一堆構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中，集合是當做一堆物件構成的整體之類的自證概念，沒有有關集合的形式化定義。在發現樸素集合論會產生一些後，二十世紀初期提出了許多公理化集合論，其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論，簡稱ZFC。公理化集合論不直接定義集合和集合成員，而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一，特別是 ZFC 集合論。除了其基礎的作用外，集合論也是數學理論中的一部份，當代的集合論研究有許多離散的主題，從實數線的結構到大基数的一致性等。.
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
逻辑与
在逻辑和数学中，逻辑合取或逻辑与或且是一个二元逻辑運算符。如果其两个变量的真值都为“真”，其结果为“真”，否则其结果为“假”。.
逻辑等价
在逻辑中，陈述p和q是逻辑等价的，如果它们有相同的逻辑内容。 p和q是语法等价的，如果每个都可以证明自另一个。p和q是语义等价的，如果它们在所有模型中有相同的真值。 逻辑等价经常混淆于实质等价。前者是在元语言中的一个陈述，断言关于目标语言中的陈述p和q的某个事情。而p和q的实质等价（常写为"p ↔ q"）自身是在目标语言中另一个陈述。但它们是有联系的，p和q是语法等价的，当且仅当p ↔ q是一个定理，而p和q是语义等价的，当且仅当p ↔ q是重言式。 逻辑等价有时表示为p ≡ q或p ⇔ q。但是，后者记号也用于实质等价。.
逻辑运算符
在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”，我们可以将它们组成复杂命题“正在下雨，并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。.
新！!: 命题逻辑和逻辑运算符 · 查看更多 »
逻辑或
逻辑或（logical or）又称逻辑析取（logical disjunction）、邏輯選言，是逻辑和数学概念中的一个二元逻辑算符。其运算方法是：如果其两个变量中有一个真值为“真”，其结果为“真”，两个变量同时为假，其结果为“假”。.
递归
递归（Recursion），又译为--，在数学与计算机科学中，是指在函数的定义中使用函数自身的方法。递归一词还较常用于描述以自相似方法重复事物的过程。例如，当两面镜子相互之间近似平行时，镜中嵌套的图像是以无限递归的形式出现的。也可以理解为自我复制的过程。.
GNU自由文档许可证
GNU自由文档许可证（GNU Free Documentation License，缩写为GFDL）是一個版權屬左（或稱「著佐權」）的內容開放的版權授權條款。它是由自由軟體基金會爲了GNU計劃於2000年發佈的。 該授權條款適用於所有電腦軟體文件以及其他參考及指導材料。授權條款規定，所有使用了該授權條款的材料的衍生品，不論是經過修改或轉載，也都必須採用GNU自由文件授權條款。採用該授權條款的材料可以用以商業用途，但必須允許任何願意遵守該協定的人士在該協定下進一步修改或散發材料。 GNU自由文件授權條款是設計用於使用手冊、教科書、參考資料、指導性質的素材等。然而，它可以應用在任何文字作品。在網路上採用GFDL發佈的文件協作計劃中，维基百科是規模最大的計畫之一。.
新！!: 命题逻辑和GNU自由文档许可证 · 查看更多 »
Q.E.D.
#重定向 證明完畢.
新！!: 命题逻辑和Q.E.D. · 查看更多 »
推理规则
在逻辑中，特别是数理逻辑中，推理规则（推论规则）是构造有效推论的方案。这些方案建立在一组叫做前提的公式和叫做结论的断言之间的语法关系。这些语法关系用于推理过程中，新的真的断言从其他已知的断言得出。规则也适用于非形式逻辑和逻辑论证，但是形式化更加困难和有争议。 按照规定，推理规则的应用纯粹是语法过程。尽管如此它必须是有效的，或者更精确地说保持有效性。为了使保持有效性的要求有意义，某种形式的语义与推理规则有关和推理规则自身的断言是必需的。对于在推理规则和和语义之间相互关系的讨论请参见命题逻辑。 命题逻辑中推理规则的显著例子是肯定前件和否定后件规则。对于一阶谓词逻辑，推理规则需要处理逻辑量词。对这种论证的更详细的描述请参见有效性。在一阶谓词逻辑中把所有推理规则作为一个单一规则来统一处理请参见一阶归结。 注意有很多不同的形式逻辑系统，每个都带有合式公式、推理规则和语义的自己的集合。参见时间逻辑、模态逻辑或直觉逻辑的实例。量子逻辑也是一种不同寻常形式的逻辑。参见证明论。在谓词演算中，需要一个补充的推理规则。它叫做普遍化。 在形式逻辑的设置（和很多有关领域）中，推理规则通常用如下形式给出： 前提#1 前提#2 ... 前提#n 结论 这个表达式声称，在某个逻辑推导期间已经获得了给定前提，同样可以认可特定结论。用来描述前提和结论二者的的精确的形式语言依赖于推导的实际上下文。在一个简单的情况下，你可以使用逻辑公式，比如 A→B A B 它是命题逻辑的肯定前件规则。推理规则通常通过使用全称变量而公式化为规则模式。在上面的规则（模式）中，A和B可以被实例化为论域（有时约定为某种受限制的子集比如命题）的任何元素，来形成推理规则的无限集合。 证明系统形成自一组规则，它们可以被链接在一起形成证明或推导。任何推导都只有一个最终结论，它是要证明或推导的陈述。如果在推导中留下了未满足的前提，则推导就是假言陈述："如果前提成立，那么结论成立"。.
排中律
在逻辑中，排中律（tertium non datur）声称对于任何命题 P，(P ∨ ¬P) 为真。 符号 '¬' 读作“非”，∨ 读作“或”，∧ 读作“与”。 例如，如果 P 是 则包含式析取 为真。 这不完全同于二值原理，它陈述的是 P 必须要么是真要么是假。它也不同于无矛盾律，它陈述的是 ¬(P ∧ ¬P) 是真。排中律只是说 (P ∨ ¬P) 整体是真。不提及 P 自身可以采用什么真值。在任何情况下，任何二值逻辑的语义都将为 P 和 ¬P 指派对立的真值(就是说，如果 P 是真，则 ¬P 是假)，所以在二值逻辑中排中律会等价于二值原理。但是，对于非二值逻辑或多值逻辑就不能这么说。 特定的逻辑系统可能通过允许多于两个真值(比如：真、假、中；真、假、非真非假、亦真亦假)而拒绝二值原理，但接受排中律。在这种逻辑中，(P ∨ ¬P) 可以为真，而 P 和 ¬P 不被分别指派为对立的真值。 一些逻辑不接受排中律，最著名的是直觉逻辑。文章《二值和有关规律》中详细地讨论了这个问题。 排中律可能被误用，导致排中律的逻辑谬论，这也叫做假两难推理。.
模态逻辑
模态逻辑，或者叫（不很常见）内涵逻辑，是处理用模态如“可能”、“或许”、“可以”、“一定”、“必然”等限定的句子的逻辑。模态逻辑可以用语义的“内涵性”来描述其特征：复杂公式的真值不能由子公式的真值来决定的。允许这种决定性的逻辑是“外延性的”，经典逻辑就是外延性的例子。模态算子不能使用外延语义来形式化：“乔治·布什是美国总统”和“2+2.
演绎定理
在数理逻辑中，演绎定理声称如果公式 F 演绎自 E，则蕴涵 E → F 是可证明的(就是或它可以自空集推导出来)。用符号表示，如果 E \vdash F ，则 \vdash E \rightarrow F 。 演绎定理可以推广到假定公式的可数序列，使得从 E_1, E_2,...
演绎推理
演绎推理（Deductive Reasoning）在传统的亚里士多德逻辑中是「结论，可从叫做‘前提’的已知事实，‘必然地’得出的推理」。如果前提为真，则结论必然为真。这区别于溯因推理和归纳推理：它们的前提可以预测出高概率的结论，但是不确保结论为真。 “演绎推理”还可以定义为结论在普遍性上不大于前提的推理，或「结论在确定性上，同前提一样」的推理。.
海廷代数
在数学裡，海廷代数是一特殊的偏序集，經由廣義化布爾代數而成，得名於阿蘭德·海廷。海廷代数是作为直觉主义逻辑的模型而產生的，是一種排中律不總是成立的逻辑。完全海廷代数是无点拓扑学的核心。.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
数学归纳法
数学归纳法（Mathematical Induction、MI、ID）是一种数学证明方法，通常被用于证明某个给定命题在整个（或者局部）自然数范围内成立。除了自然数以外，广义上的数学归纳法也可以用于证明一般良基结构，例如：集合论中的树。这种广义的数学归纳法应用于数学逻辑和计算机科学领域，称作结构归纳法。 虽然数学归纳法名字中有“归纳”，但是数学归纳法并非不严谨的归纳推理法，它属于完全严谨的演绎推理法。事實上，所有數學證明都是演繹法。.
新！!: 命题逻辑和数学归纳法 · 查看更多 »
扬·武卡谢维奇
#重定向 扬·卢卡西维茨.
新！!: 命题逻辑和扬·武卡谢维奇 · 查看更多 »
拉丁语
拉丁语（lingua latīna，）,羅馬帝國的奧古斯都皇帝時期使用的書面語稱為「古典拉丁語」，屬於印欧语系意大利語族。是最早在拉提姆地区（今意大利的拉齐奥区）和罗马帝国使用。虽然现在拉丁语通常被认为是一种死语言，但仍有少数基督宗教神职人员及学者可以流利使用拉丁语。罗马天主教传统上用拉丁语作为正式會議的语言和礼拜仪式用的语言。此外，许多西方国家的大学仍然提供有关拉丁语的课程。 在英语和其他西方语言创造新词的过程中，拉丁语一直得以使用。拉丁语及其后代罗曼诸语是意大利语族中仅存的一支。通过对早期意大利遗留文献的研究，可以证实其他意大利语族分支的存在，之后这些分支在罗马共和国时期逐步被拉丁语同化。拉丁语的亲属语言包括法利斯克语、奥斯坎语和翁布里亚语。但是，威尼托语可能是一个例外。在罗马时代，作为威尼斯居民的语言，威尼托语得以和拉丁语并列使用。 拉丁语是一种高度屈折的语言。它有三种不同的性，名词有七格，动词有四种词性变化、六种时态、六种人称、三种语气、三种语态、两种体、两个数。七格当中有一格是方位格，通常只和方位名词一起使用。呼格与主格高度相似，因此拉丁语一般只有五个不同的格。不同的作者在行文中可能使用五到七种格。形容词与副词类似，按照格、性、数曲折变化。虽然拉丁语中有指示代词指代远近，它却没有冠词。后来拉丁语通过不同的方式简化词尾的曲折变化，形成了罗曼语族。 拉丁语與希腊语同為影響歐美學術與宗教最深的语言。在中世纪，拉丁语是当时欧洲不同国家交流的媒介语，也是研究科学、哲学和神學所必须的语言。直到近代，通晓拉丁语曾是研究任何人文学科教育的前提条件；直到20世纪，拉丁语的研究才逐渐衰落，重点转移到对當代语言的研究。.
