Logic MOC

Conditional proof

Conditional proof is the technique whereby one assumes a proposition 𝑃, deduces 𝑄, and therefore concludes 𝑃 ⟹ 𝑄.

---

tidy | en | SemBr