在數理邏輯中，代數邏輯使用抽象代數方法形式化邏輯。 代數邏輯把邏輯當作特定代數結構構成的模型(解釋、釋義)，特別是作為格構成的模型，并因而是序理論的分支。 在代數邏輯中: 變量默許的全稱量化於某個論域之上。這里沒有存在量化變量或開放公式； 項使用基本和定義的運算從變量建造。這里沒有連結詞；...

在数学和数理逻辑中，逻辑代数（有时也称开关代数、布尔代数）是代数的一个分支，其变量的值仅为真和假两种真值（通常记作 1 和 0）。初等代數中变量的值是数字，而且主要的运算是加法、乘法和乘方（以及它們的逆运算），而逻辑代数的主要运算符有合取与，记为∧；析取或，记为∨；否定非，记为¬。因此，它是描述逻辑...

算术逻辑单元（英語：Arithmetic logic unit，縮寫：ALU）是一种可对二进制整数执行算术运算或位运算的组合逻辑数字电路。ALU 与浮点数运算单元（FPU）不同，后者仅对浮点数进行操作。ALU 是许多类型的计算电路的基本部件，这些计算电路包括计算机的中央处理单元（CPU）、浮点处理单...

布尔逻辑（英語：Boolean algebra）得名于乔治·布尔，他是爱尔兰科克的皇后学院的英国数学家，他在十九世纪中叶首次定义了逻辑的代数系统。现在，布尔逻辑在电子学、计算机硬件和软件中有很多应用。在1937年，克劳德·艾尔伍德·香农展示了布尔逻辑如何在电子学中使用。 使用集合代数作为介绍布尔逻辑...

布尔代数（英語：Boolean algebra）在抽象代数中是指捕获了集合运算和逻辑运算二者的根本性质的一个代数结构（就是说一组元素和服从定义的公理的在这些元素上运算）。特别是，它处理集合运算交集、并集、补集；和逻辑运算与、或、非。 例如，逻辑断言陈述a和它的否定¬a不能都同时为真， a ∧ ( ¬...

在抽象代数中，内部代数是采用了集合的拓扑内部概念的特定类型的代数结构。内部代数之对于拓扑和模态逻辑 S4 如同布尔代数之对于集合论和普通命题逻辑。内部代数形成了模態代數的一个簇。 内部代数是带有如下标识(signature)的代数结构< S, ·, +, ', 0, 1, I >，其中< S, ·,...

这里的关系代数不同于奥古斯都·德·摩根在1860年为代数逻辑提供的关系代数 关系代数是一阶逻辑的分支，是闭合于运算下的关系的集合。运算作用于一个或多个关系上来生成一个关系。关系代数是计算机科学的一部分。 在纯数学中的关系代数是有关于数理逻辑和集合论的代数结构。 关系代数在1970年E.F....

在数学裡，海廷代数（Heyting algebra）是一特殊的偏序集，經由廣義化布爾代數而成，得名於阿蘭德·海廷。海廷代数是作为直觉主义逻辑的模型而產生的，是一種排中律不總是成立的逻辑。完全海廷代数是无点拓扑学的核心。 海廷代数H為一有界格，滿足如下條件：对于在H中的所有a和b，存在一屬於H的最大元素x，使得...

命题逻辑是逻辑学的一个分支。 它也称为命題演算、句子演算、句子逻辑，有时也称为零阶逻辑。它涉及命题（可以是真或假）和命题之间的关系，包括基于它们的论证的构建。复合命题是通过逻辑连接词连接命题而形成的。不包含逻辑连接词的命题称为原子命题。 与一阶逻辑不同，命题逻辑不处理非逻辑...

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

这里的关系代数不同于 Edgar F. Codd 在1970年为关系数据库开发的关系代数。 在数学中，关系代数是支持叫做逆反(converse)的对合一元运算的剩余布尔代数。激发关系代数的例子是在集合 X 上的所有二元关系的代数 2 X 2 {\displaystyle 2^{X^{2}}} ，带有...

Publishing Company. 可能世界 De dicto and de re 混合逻辑 内部代数 可解释性逻辑 可证明性逻辑 Kripke语义 可及关系 認識邏輯 時間邏輯 道義邏輯 信念邏輯 哥德爾本體論證明 A discussion of modal logic （页面存档备份，存于互联网档案馆）...

代数，假定逻辑是经典逻辑。反或来说，对于所有布尔代数A，有（经典）句子逻辑的一个理论T使得T的林登鲍姆-塔斯基代数同构于A。换句话说，所有布尔代数都是（不別同构之異）林登鲍姆-塔斯基代数。 在直觉逻辑的情况下，林登鲍姆-塔斯基代数是海廷代数。 有时简称为林登鲍姆代数...

集合代数发展并描述了集合的基本性质和规律，集合论运算，如并集、交集、补集，以及集合的关系，如等于、包含。这门学科系统研究如何来表达和进行上述的运算和关系的操作。 集合代数是研究集合运算和集合关系的基本性质的学科。研究这些性质可以深入探究集合的本质，也有助于实际应用。...

逻辑中其他真值也是可能的：模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。 在代数上说，集合真、假形成了简单的布尔代数。可以把其他布尔代数用作多值逻辑中的真值集合，但直觉主义逻辑把布尔代数推广为海廷代数。 在topos理论中，topos的主客对象分类器接管了真值集合的位置。 Article...

阿尔弗雷德·塔斯基发明的圆柱代数概念自然的出现于一阶逻辑的代数化中。可比较于布尔代数对命题逻辑所扮演的角色。实际上，圆柱代数是装备了建模量化的额外圆柱化运算的布尔代数。 α {\displaystyle \alpha } 维圆柱代数，这里的 α {\displaystyle \alpha } 是任何序数，是代数结构 (...

集合代数 乔治·布尔 布尔代数 布尔域 布尔函数 布尔逻辑 蕴涵项 布尔素理想定理 布尔值函数 布尔值模型 布尔可满足性问题 布尔三段论 规范形式 (布尔代数) 特征函数 紧致性定理 完全布尔代数 德·摩根 德·摩根定律 对偶性 (序理论) 实体图 存在图 一阶逻辑 形式系统 自由布尔代数 Heyting代数...

在代數和邏輯中，模態代數是代數結構 ⟨ A , ∧ , ∨ , − , 0 , 1 , ◻ ⟩ {\displaystyle \langle A,\land ,\lor ,-,0,1,\Box \rangle } 使得 ⟨ A , ∧ , ∨ , − , 0 , 1 ⟩ {\displaystyle...

逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。 命题A的非可以有几种写法： A（A上加一横） ~A ¬A NOT A 以上可以读做"A不成立"或者"非A"。 ¬p的真值表定義如下： ~A即在A的条件下，结论不成立。例如，如果A代表命题“今天星期六”，则它的~A代表命题“今天不是星...

入接一个输入接在一起的或非门。异或门也可用来实现与门，但很少使用。 维基共享资源上的相关多媒体资源：与门 或门 非门 与非门 或非门 异或门 逻辑代数 逻辑门 Mano, M. Morris and Charles R. Kime. Logic and Computer Design Fundamentals...

(s\lor t)).} 语义要比经典逻辑更加复杂。其模型论可给出自海廷代数或等价的给出自克里普克语义。 在经典逻辑中，我们经常讨论一个公式可能接受的真值。这种值通常被选择为布尔代数的成员。在布尔代数中的交和并算子等同于∧和∨逻辑连结词，所以形如A ∧ B的公式是在布尔代数...

逻辑与非表示的式子可以节约成本，因为使用与非门实现电路能使电路结构更为紧凑。 与非门并不仅限於2输入，可以是多输入，这时当输入全为高电平时，输出为低电平；若有任意一个输入为低电平，则输出为高电平。这些门电路不再是简单的二进制运算器，而是可作为n元运算器使用的门电路。代数中，这些门电路可以用函数NAND(a...

在命题逻辑和逻辑代数中，德摩根定律（英語：De Morgan's laws，又称笛摩根定理、第摩根定律、对偶律等）是关于命题逻辑规律的一对法则。 19世纪英国数学家奥古斯塔斯·德摩根首先发现了在命题逻辑中存在着下面这些关系： ¬ ( p ∧ q ) ≡ ( ¬ p ) ∨ ( ¬ q ) {\displaystyle...

(x + y)D = xD + yD xD 叫做 x 的导出(derivative)。导出代数为拓扑学中导集算子提供代数抽象。它还为模态逻辑 wK4 = K + p∧□p → □□p 扮演布尔代数对普通命题逻辑所扮演的角色。 Esakia, L., Intuitionistic logic and modality...

一元布尔代数形成了一个簇。它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。Paul Halmos 在研究多元代数的时候发现了一元布尔代数；Halmos (1962) 再版了相关的论文。 一元布尔代数还与模态逻辑有重要联系。模态逻辑 S5，被看作 S4 中一个理论，是一元布尔代数的模型，如同模态逻辑 S4...

在数字逻辑中，逻辑算符互斥或（英語：Exclusive or）是对两个运算元的一种邏輯分析类型。与一般的邏輯或不同，當兩兩數值相同時為否，而數值不同時為真。 对于命题 p , q {\displaystyle p,q} ， p {\displaystyle p} 异或 q {\displaystyle...

代数，但无法统一环和向量空间。 另一处发展是偏代数，其中的运算可以是偏函数。某些偏函数也可通过所谓“本质代数论”的劳维尔理论推广来处理。 泛代数的另一种推广是模型论，有时被描述为“泛代数+逻辑”。 调和分析 測度 分析 微分幾何及拓撲 代數拓撲 代數幾何 抽象代數 图代数 项代数 克隆 (数学)...

gate、ExOR gate）是数字逻辑中实现逻辑异或的逻辑门，功能见右侧真值表。若两个输入的电平相异，则输出为高电平（1）；若两个输入的电平相同，则输出为低电平（0）。 这一函数能实现模为2的加法，因此，异或门可以实现计算机中的二进制加法。半加器是由异或门和与门组成的。 下列包括逻辑门的3种符号：形状特征型符号（ANSI/IEEE...

ratiocinator），很能让人想起符号逻辑，可以被看作使这种计算成为可行的一种方式。但他们的工作鲜为人知，后继无人。 数理逻辑的概念在十九世纪中期出现了，它是两个古老的学科：数学和哲学逻辑的交汇。数理逻辑被称之为符号逻辑或形式逻辑或者逻辑代数。“数理逻辑”的名称是由皮亚诺首先给出，数理逻辑在本质上依然是亚里士多德的逻辑...

逻辑系统的形式语义，于 1950 年代晚期和 1960 年代早期由索尔·阿伦·克里普克建立。它后来为另一个非经典逻辑，最重要的直觉逻辑所接受。克里普克语义的发现是非经典逻辑开发中重大突破，因为这种逻辑的模型论在克里普克之前实际上是不存在的。 对于我们的目的，模态逻辑的语言由命题变量，读者喜欢的布尔连结词的完备集合(比如...

抽象代数逻辑(AAL)是研究代数类关联于逻辑系统的方式和这些代数类如何与逻辑系统交互的数理逻辑领域。 代数逻辑起源的原型和后续发展的核心基础是在布尔代数类和经典命题演算之间的关联。这种关联是乔治·布尔在1850年代发现的，并被其他人特别是 Ernst Schröder 在1890年代所精致。这项工作在阿尔弗雷德·塔斯基和他的学生...