Song: Symbolic Logic: The Basic Rules of Inference
Artist:  Lit Genius
Year: 2014
Viewed: 37 - Published at: 4 years ago

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

( Lit Genius )
www.ChordsAZ.com

TAGS :