[PHIL 114] Philosophy Logic

Construct a derivation of the conclusion from the premises:

Symbols:

-> : if then

V : or

~: negation

; :seperates premises

/ : therefore

P -> (Q V ~R) ; P -> R / P -> Q