Elementary Logic

Rules of inference

Methods of Proof

Direct

Infer conclusion C if \(H_1\wedge\)

Indirect

Proof by contradition

Proof of the Contrapositive

---

Last update: June 11, 2023
Created: June 11, 2023