Simplification

$P\wedge Q\therefore P$

If a conjunction ”$P$ and $Q$” is true, then it can be inferred that $P$ is true (or $Q$ is true) independently.