Direct proof

Direct proofs (also called proofs by construction) aim to prove that $P⟹Q$. In other words, if $P$ is true and $Q$ is true, then the operation between $P$ and $Q$ is also true.

$$A\wedge B$$

See also

• Contrapositive proof