CSE 16 Study Guide - Midterm Guide: Idempotence, Modus Tollens, Modus Ponens
Document Summary
Discrete mathematics and its applications - chapter 1: modus ponens (p ^ (p q)) q, modus tollens, hypothetical syllogism, disjunctive syllogism, addition, simplification, conjunction, resolution p p q. Q ( q ^ (p q)) p. P ((p q) ^ (q r)) (p r) p q q r. P r ((p v q) ^ p) q p v q. Q p (p v q) p. P v q (p ^ q) p p ^ q. P ((p) ^ (q)) (p ^ q) p q. P ^ q ((p v q) ^ ( p v r)) (q v r) p v q. Inverse is equivalent to converse: contrapositive q p, biconditional. Compund proposition that is always true no matter the composing propositional variables truth values may be. Compund proposition that is always false no matter the composing propositional variables truth values may be: contingency. Compound proposition that is neither a tautology or a contradiction: logically.