Propositional Logic | Discrete Mathematics for Dummies

Posts about Propositional Logic written by jasoninclass ... (not P ^ (P v Q) => Q named Disjunctive Syllogism formerly known as modus tollendo ponens meaning if not P and P or Q then we can conclude Q.

jasoninclass.wordpress.com