Module 5 — Predicate Logic & Quantifiers

Universal and existential claims in formal proofs: negation and counterexamples, bounded universals under BMC, and cover as an existential query.

Katas in this module (3)

• Kata 5.1 — Negation and Counterexamples
• Kata 5.2 — BMC Depth and the Bounded Universal
• Kata 5.3 — Cover as an Existential Query

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