Discrete Structures208110 marksRules of Inferences
List any four rules of inference. Using direct and indirect proof show that, for any real number x, if x3 - 7x2 + x - 7 = 0, then x = 7
List any four rules of inference. Using direct and indirect proof show that, for any real number $x$, if $x^3 - 7x^2 + x - 7 = 0$, then $x = 7$ [10]
Rule of Inference Form Name --------- 1 p, p→q ∴ q Modus Ponens 2 ¬q, p→q ∴ ¬p Modus Tollens 3 p→q, q→r ∴ p→r Hypothetical Syllogism 4 p∨q, ¬p ∴ q Disjunctive Syllogism --- Theorem: For any real number x, if x³ - 7x² + x - 7 = 0, then x = 7. Note: The converse of this statement is NOT true in gen...