absorption (math concept)
See also
python declaration class | python inclusion class | python sample
Definition
absorption is the inference-rule:
\[\left(\boldsymbol{P} \implies \mathbf{Q}\right) \vdash \left(\boldsymbol{P} \implies \boldsymbol{P} \land \mathbf{Q}\right)\]
Where:
\(\boldsymbol{P} \implies \mathbf{Q}\) is a formula-statement
\(\boldsymbol{P}\) is a propositional formula
\(\mathbf{Q}\) is a propositional formula
In straightforward language, if \(\mathbf{Q}\) follows from \(\boldsymbol{P}\), then both \(\boldsymbol{P}\) and \(\mathbf{Q}\) follow from \(\boldsymbol{P}\).
Sources
[CCM14, p. 369]