Philosophy Genius Editors - Symbolic Logic: The Basic Rules of Inference lyrics

Modus ponens: P > Q P ------ Q _________________________________________________________________ Modus tolens: P > Q ~Q ------ ~P _________________________________________________________________ Hypothetical syllogism: P > Q Q > R ------

P > R _________________________________________________________________ Disjunctive syllogism: P v Q ~P ------ Q AND P v Q ~Q ------ P _________________________________________________________________ MORE RULE OF INFERENCE TO COME