proofs

Proof by contradiction

Assume p and not q are true. Show thst the assumption not q leads to contradictions. Conclude that q must be true.

Proof by contraposative

Assume not q is true. Show that this leads to not p. Which shows not q leads to not p. Conclude that p to q must be true.

.

.