Absorption ○ᴸᴼᴳᴵꟲ｜appendage｜___｜20260628155835-01-•

A	B
Type	Rule of inference
Field	Propositional calculus
Statement	If $P$ implies $Q$, then $P$ implies $P$ and $Q$.
Symbolic statement	$\frac{P\to Q}{\therefore P\to (P\wedge Q)}$

Absorption

(echo:: @ ᯤ)