Inference Rules 08
4.1 CompSci 102© Michael Frank Today’s topics Proof techniquesProof techniques – –Indirect, by cases, and direct – –Rules of logical inference – –Correct.
Discrete Mathematics ? Transparency No. 2-0 Chapter 3 Mathematical Reasoning Transparency No. 3-1 formal logic mathematical preliminaries.
Dr. Zaguia-CSI2101-W081 CSI 2101 / Rules of Inference (§1.5) Introduction what is a proof? Valid arguments in Propositional Logic equivalence of quantified.
Module 2: Basic Proof Methods