---
tag: 8R06GB09FZ
kind: concept
name: Absorption (logic)
sources:
  - wikipedia: en:34620850@r1275335102
    locator: Absorption (logic)
    note: adopted
    mention: wikipedia://en/34620850
    sections: [Summary]
same_as:
  wikidata: Q4669893
  wikipedia: Absorption (logic)
inventory: [F91BJKNH1P]
---

## Summary

**Absorption** is a valid argument form and rule of inference of [[propositional logic|09K9MWD2QQ]]. The rule states that if $P$ implies $Q$, then $P$ implies $P$ and $Q$. The rule makes it possible to introduce [[conjunctions|025YZN3VJW]] to proofs. It is called the law of absorption because the term $Q$ is "absorbed" by the term $P$ in the consequent. The rule can be stated: