# Math Logic 5-19-13

 Negate Inverse Switch Converse Switch and negate Contrapositive Shows all possible outcomes of a statement Truth table All outcomes are true Tautology All outcomes are false Contradiction m --> p m C: p Law of detachment s --> r ~r C: ~s Modus tollens x --> y y --> z C: x --> z Chain rule p v s       p v s        p v s         ~p v s ~p          ~s           p              ~s C: s         C: p         C: s          C: ~p Law of disjunctive inference p ^ q      p ^ q C: p        C: q Law of simplification p q C: p ^ q Law of conjunction p C: p v x <-- anything may go here Law of disjunctive addition ~~p C: p Law of double negation ~(p v q)            ~(~p ^ q) C: ~p ^ ~q        C: p v ~q DeMorgan's Rule a ^ (b ^ c)            a ^ (b v c) C: (a ^ b) ^ c        C: (a v b) v c Associative property a ^ (b v c)                 a v (b ^ c) C: (a ^ b) v (a ^ c)     C: (a v b) ^ (a v c) Distributive property Authorr2484550 ID220307 Card SetMath Logic 5-19-13 DescriptionMath Updated2013-05-20T01:08:16Z Show Answers