Types of Proof

Vacuous proof

pq when p is false.

Trivial proof

pq when q is true.

Direct proof

pq: asserting that p is true requires q to be true.

Indirect proof

pq: asserting ¬q is true requires that ¬p is true.