Provide a derivation for P v Q Q P RR SolutionP V Q Q PR

Provide a derivation for P v Q; ~ Q; P - > R/R

Solution

P V Q

~Q

P->R

as Q is false, using PVQ and ~Q we can conclude that P is correct(either P is true or Q is true.As Q is not true P has to be true)

using P and P->R we can say that as P is true and P implies R ..So R is also deduced.(using modus ponens)