Symbolic Logic: The Basic Rules of Inference lyrics
by Lit Genius
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