العربية
中国
Français
Deutsch
Ελληνική
हिन्दी
Italiano
日本語
Português
Русский
EspañolABSORPTION LAW
In algebra, the 'absorption law' is an identity linking a pair of binary operations.
Any two binary operations, say $ and %, are subject to the absorption law if:
:''a'' $ (''a'' % ''b'') = ''a'' % (''a'' $ ''b'') = ''a''.
The operations $ and % are said to form a dual pair.
Let there be some set closed under two binary operations. If those operations are commutative, associative, and satisfy the absorption law, the resulting abstract algebra is a lattice, in which case the two operations are sometimes called meet, join; other possibilities include and,or. Since commutativity and associativity are often properties of other algebraic structures (for example, addition and multiplication of real numbers), absorption is the defining property of a lattice. Since Boolean algebras and Heyting algebras are lattices, they too obey the absorption law.
Since classical logic is a model of Boolean algebra, and the same is true of intuitionistic logic and Heyting algebras, the absorption law holds for operations and , denoting OR and AND, respectively. Hence:
:
where ''='' is understood to be logical equivalence over formulae.
The absorption law does not hold for 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.
Any two binary operations, say $ and %, are subject to the absorption law if:
:''a'' $ (''a'' % ''b'') = ''a'' % (''a'' $ ''b'') = ''a''.
The operations $ and % are said to form a dual pair.
Let there be some set closed under two binary operations. If those operations are commutative, associative, and satisfy the absorption law, the resulting abstract algebra is a lattice, in which case the two operations are sometimes called meet, join; other possibilities include and,or. Since commutativity and associativity are often properties of other algebraic structures (for example, addition and multiplication of real numbers), absorption is the defining property of a lattice. Since Boolean algebras and Heyting algebras are lattices, they too obey the absorption law.
Since classical logic is a model of Boolean algebra, and the same is true of intuitionistic logic and Heyting algebras, the absorption law holds for operations and , denoting OR and AND, respectively. Hence:
:
where ''='' is understood to be logical equivalence over formulae.
The absorption law does not hold for 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.
This article provided by Wikipedia. To edit the contents of this article, click here for original source.
psst.. try this: add to faves
