Lit Genius — Symbolic Logic: The Basic Rules of Inference

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