Fill in the proof below. To prove the resolution law: p v Q, ~p v R...

Transcribed Image Text:

Fill in the proof below. To prove the resolution law: p v Q, ~p v R : . (therefore) Q v R You can use the rule of inference; do not use the resolution law in your proof state the reason for each step, including line reference. The conditional identity is useful: p Q = `p v Q 1, pv R Hypothesis 2, pR Conditional identity, 1 3, pvQ Hypothesis 4, 5, 6, 7, 8, 9, QVR Hypothetical syllogism, (line(s) # Fill in the proof below. To prove the resolution law: p v Q, ~p v R : . (therefore) Q v R You can use the rule of inference; do not use the resolution law in your proof state the reason for each step, including line reference. The conditional identity is useful: p Q = `p v Q 1, pv R Hypothesis 2, pR Conditional identity, 1 3, pvQ Hypothesis 4, 5, 6, 7, 8, 9, QVR Hypothetical syllogism, (line(s) #