Module 6 — Proof Techniques

Contrapositive reasoning, proof by unsatisfiable negation, and making a case split exhaustive — the argument shapes a solver actually runs.

Katas in this module (3)

• Kata 6.1 — Proof and its Contrapositive
• Kata 6.2 — The Proof Is an Unsatisfiable Negation
• Kata 6.3 — Make the Cases Exhaustive

Part of Discrete Mathematics for Formal Verification on formal.org.