You are on page 1of 1

p F

q V
r V
(p V q) V
(p V q)  r V
rp F
[(p V q)  r] ^ (r  p) F

You might also like