Science Fair Project Encyclopedia
The absorption law states that
- a $ (a % b) = a % (a $ b) = a.
The interest arises because of the cases where $ and % are meet and join in order theory. There it is easy to see that the law should hold. In particular, for the binary operators ∧ and ∨, which are defined respectively as the logical AND and OR, the following applies:
- a ∧ (a ∨ b) = a ∨ (a ∧ b) = a.
Since Boolean algebras are the general form of models for classical logic, and Heyting algebras for intuitionistic logic, the absorption rule also expresses logical equivalences between those logics. Note, however, in the domain of substructural logic, the absorption rule, since it is not linear (there being no 1-1 correspondence between the free variables of the two equations), it does not express logical equivalences in linear logic, nor does it in relevance logic.
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details