4
Logical inferences
nModus Ponens:
p à q
p
--------
q
p à q
p
--------
q
nModus Tollens:
p à q
Ø q
---------
Ø p
p à q
Ø q
---------
Ø p
nHypothetical
syllogism:
p à q
q à r
--------
p à r
p à q
q à r
--------
p à r
nDisjunctive
syllogism:
p v q
Ø p
--------
q
p v q
Ø p
--------
q