How can we help?

You can also find more resources in our Help Center.

Logic: Rules of Inference

rules of inference 1-9
STUDY
PLAY
p C q
p /:. q
MP
p C q
~q /:. ~p
MT
p C q
q C r /:. p C r
HS
p V q
~p /:. q
DS
(p C q) & (r C s)
p V r /:. q V s
CD
p C q /:. p C (p&q)
ABS
p & q /:. p
SIMP
p
q /:. p & q
CONJ
p /:. p V q
ADD