Abstract algebra | Boolean algebra | Lattice theory | Theorems in propositional logic

Absorption law

In algebra, the absorption law or absorption identity is an identity linking a pair of binary operations. Two binary operations, ¤ and ⁂, are said to be connected by the absorption law if: a ¤ (a ⁂ b) = a ⁂ (a ¤ b) = a. A set equipped with two commutative and associative binary operations ("join") and ("meet") that are connected by the absorption law is called a lattice; in this case, both operations are necessarily idempotent. Examples of lattices include Heyting algebras and Boolean algebras, in particular sets of sets with union and intersection operators, and ordered sets with min and max operations. In classical logic, and in particular Boolean algebra, the operations OR and AND, which are also denoted by and , satisfy the lattice axioms, including the absorption law. The same is true for intuitionistic logic. 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. (Wikipedia).

Video thumbnail

Integration 8 The Substitution Rule in Integration Part 2 Example 1

Working through an example of substitution in integration.

From playlist Integration

Video thumbnail

Integration 8 The Substitution Rule for Integration Part 1

An explanation of the reverse of the chain rule in integration.

From playlist Integration

Video thumbnail

Integration 8 The Substitution Rule in Integration Part 2 Example 7

Working through an example using substitution in integration.

From playlist Integration

Video thumbnail

Integration 7 Integrating the Product of Functions Part 2 Example 1

Working through an example of the reverse of the product rule for integration.

From playlist Integration

Video thumbnail

Integration 8 The Substitution Rule in Integration Part 2 Example 5

Working through an example using the substitution rule in integration.

From playlist Integration

Video thumbnail

Integration 8 The Substitution Rule in Integration Part 2 Example 9

Working through an example using substitution in integration.

From playlist Integration

Video thumbnail

Integration 7 Integrating the Product of Functions Part 2 Example 2

Working through an example using the reverse product rule for integration.

From playlist Integration

Video thumbnail

Integration 8 The Substitution Rule in Integration Part 2 Example 6

Working through an example using substitution in integration.

From playlist Integration

Video thumbnail

Integration 8 The Substitution Rule in Integration Part 2 Example 8

Working through an example using substitution in integration.

From playlist Integration

Video thumbnail

Boolean Algebra 2 – Simplifying Complex Expressions

This video follows on from the one about the laws of Boolean algebra. It explains some useful interpretations of the laws of Boolean algebra, in particular, variations of the annulment and distributive laws. It goes on to demonstrate how Boolean algebra can be applied to simplify comple

From playlist Boolean Algebra

Video thumbnail

Principles of Radiative Transfer (Lecture - 02) by G Srinivasan

Time: 10:00 AM Venue: Ramanujan Lecture Hall / Madhava Lecture Hall, ICTS Campus, Bangalore This summer course aims to give a broad perspective on gravity, astrophysics and cosmology and is suitable for advanced undergraduates and graduate students in physics and astronomy. Professor G

From playlist Summer Course 2017: A Journey Through The Universe

Video thumbnail

Beer Lambert's Law, Absorbance & Transmittance - Spectrophotometry, Basic Introduction - Chemistry

This chemistry video tutorial provides a basic introduction into spectrophotometry and beer lambert's law also known as beer's law. It briefly explains how a spectrophotometer works. It uses a light source and a monochromator which selects a specific wavelength of light using a prism or

From playlist New AP & General Chemistry Video Playlist

Video thumbnail

Astronomy 101: Spectroscopy and Kirchhoff's Laws

Skynet University: http://skynet.unc.edu/introastro Use Our Telescopes From Anywhere! Astronomy 101: The Solar System Lesson 3: Nature of Light Topic: Spectroscopy and Kirchhoff's Laws Next:  Atomic Structure (http://youtu.be/1_18dmSgIqI) Previous: Why Are There No Green Stars? (htt

From playlist UNC: Astronomy 101 by Skynet University | CosmoLearning.org Astronomy

Video thumbnail

Physics of flow networks (Lecture 2, Remote talk) by Karen Alim

Program ICTP - ICTS Winter School on Quantitative Systems Biology ORGANIZERS: Buzz Baum, Guillaume Salbreux, Stefano Di Talia and Vijaykumar Krishnamurthy DATE: 03 December 2019 to 20 December 2019 VENUE: Ramanujan Lecture Hall, ICTS Bangalore The development of an organism from a sin

From playlist Winter School on Quantitative Systems Biology: Quantitative Approaches in Ecosystem Ecology 2020

Video thumbnail

Mod-01 Lec-32 Planck's distribution and Inverse square law

Introduction to Atmospheric Science by Science Prof. C. Balaji,Department of Mechanical Engineering,IIT Madras.For more details on NPTEL visit http://nptel.ac.in

From playlist IIT Madras: Introduction to Atmospheric Science | CosmoLearning.org

Video thumbnail

Mod-01 Lec-33 Physics of scattering, emmision and absorption

Introduction to Atmospheric Science by Science Prof. C. Balaji,Department of Mechanical Engineering,IIT Madras.For more details on NPTEL visit http://nptel.ac.in

From playlist IIT Madras: Introduction to Atmospheric Science | CosmoLearning.org

Video thumbnail

الاهتزازات والأمواج (جامعة إم آي تي) - المحاضرة 15: تأثير "دوبلر"، الإشعاع الكهرومغناطيسي توسع الكون

MIT المحاضرة الخامسة عشرة من مساق "الاهتزازات والأمواج" من جامعة إم آي تي للبروفيسور والتر لوين وهي عن تأثير "دوبلر"، الإشعاع الكهرومغناطيسي، توسُّع الكون بالإضافة للفيديو هناك ملفات مرفقة على موقعنا الالكتروني https://shamsunalarabia.net/courses/الاهتزازات-والأمواج/ رابط المساق https://w

From playlist 8.03 Arabic Subtitles

Video thumbnail

Verify the Logical Equivalence using the Laws of Logic (p ^ ~q) V p = p

Verify the Logical Equivalence using the Laws of Logic (p ^ ~q) V p = p If you enjoyed this video please consider liking, sharing, and subscribing. Udemy Courses Via My Website: https://mathsorcerer.com My FaceBook Page: https://www.facebook.com/themathsorcerer There are several ways t

From playlist Logical Form and Logical Equivalence

Video thumbnail

Verify the Logical Equivalence p ^ (~q V p) = p using the Laws of Logic

Verify the Logical Equivalence p ^ (~q V p) = p using the Laws of Logic If you enjoyed this video please consider liking, sharing, and subscribing. Udemy Courses Via My Website: https://mathsorcerer.com My FaceBook Page: https://www.facebook.com/themathsorcerer There are several ways t

From playlist Logical Form and Logical Equivalence

Video thumbnail

Integration 8 The Substitution Rule in Integration Part 2 Example 4

Working through and example using the reverse of the chain rule in integration.

From playlist Integration

Related pages

Idempotence | Relevance logic | Substructural logic | List of order structures in mathematics | Lattice (order) | Boolean algebra (structure) | Algebra | Logical disjunction | Absorption (logic) | Set (mathematics) | Linear logic | Field (mathematics) | Real number | Identity (mathematics) | Intuitionistic logic | Logical conjunction | Classical logic | Heyting algebra | Commutative ring