Chapter 1.

6, Problem 30E

Problem

Use resolution to show the hypotheses “Allen is a bad boy or Hillary is a good girl’“ and “Allen is
a good boy or David is happy” imply the conclusion “Hillary is a good girl or David is happy.”

Step-by-step solution

Step 1 of 2

Consider the argument:

1. Allen is a bad boy or Hillary is a good girl

B: Allen is a bad boy

H: Hillary is a good girl

2. Allen is a good boy or David is happy.

: Allen is a good boy

D: David is happy

Step 2 of 2
Recollect the rule of inference: resolution which states

Use this upon 1. and 2. to give

So, the inference is “either Hillary is good or David is happy”.