[Lyric] Symbolic Logic: The Basic Rules of Inference (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