邏輯矩陣
邏輯矩陣（或稱布林矩陣、關係矩陣）是由布林域\boldsymbol{B} = \{0, 1\}組成的矩陣。如此的矩陣可用以表示一對集合之間的二元關係。 關係的矩陣表示 給定集合X = \{x_i\}_{i \in I}和Y = \{y_j\}_{j \in J}，其中索引集I和J皆為正整數集\mathbb{Z}^+的初始段，即(\forall n \in I)(\{x \in \mathbb{Z}^+ \mid x \le n\} \s…
标签：#布爾代數
共 3 篇文章
模態代數
在代數和邏輯中，模態代數是代數結構 \langle A,\land,\lor,-,0,1,\Box\rangle 使得 \langle A,\land,\lor,-,0,1\rangle 是布爾代數， \Box 是在 A 上的一元運算，對於所有 A 中的 x, y 滿足 \Box1=1 和 \Box(x\land y)=\Box x\land\Box y 。 模態代數提供了命題模態邏輯的模型，以和布爾代數是經典邏輯的模型相同的方式。特別…
吸收律
在抽象代数中，吸收律是连接一对二元运算的恒等式。 任何两个二元运算比如 $ 和 %，服从吸收律如果: :a $ (a % b) = a % (a $ b) = a. 运算 $ 和 % 被称为对偶对。 设有某个集合闭合在两个二元运算下。如果这些运算是交换律、结合律的，并满足吸收律，结果的抽象代数就是格，在这种情况下这两个运算有时叫做交和并。因为交换律和结合律经常是其他代数结构的性质，吸收律是格的定义性质。由于布尔代数和 Heyting代数…