#1
|
|||
|
|||
Absorption law
In classical logic, and in particular Boolean algebra, the operations OR and AND, satisfy the lattice axioms, including the absorption law. The same is true for intuitionistic logic. 05 พฤศจิกายน 2020 20:55 : ข้อความนี้ถูกแก้ไขแล้ว 2 ครั้ง, ครั้งล่าสุดโดยคุณ share เหตุผล: เพิ่มเติม |
#2
|
|||
|
|||
The absorption law does not hold in many other algebraic structures, such as commutative rings, e.g. the field of real numbers, relevance logics, linear logics, and substructural logics. In the last case, there is no one-to-one correspondence between the free variables of the defining pair of identities. |
|
|