4
Logical inferences
n
Modus Ponens:
p
à
q
p
--------
q
n
Modus Tollens:
p
à
q
Ø
q
---------
Ø
p
n
Hypothetical syllogism:
p
à
q
q
à
r
--------
p
à
r
n
Disjunctive syllogism:
p v q
Ø
p
--------
q