SOLVED: 11. For each of these arguments, a list of the rules of inference explaining which rules of inference are used for each is attached to the back of the exam. Step 1: Somebody in this class enjoys whale watching. Let cl(x) be "x is in the class" Let wl(x) be "x enjoys whale watching" Let pl(x) be "x cares about ocean pollution" cl(x) ^ wl(x) (Premise) ∃x(wl(x)) (Existential instantiation) Step 2: Every person who enjoys whale watching cares about ocean pollution.

SOLVED: Ch 01 Sec 6 Ex 24 (a) - Rules of inferenceStepReason1.∀x(P(x) ∨ Q(x))Premise2. P(c) ∨ Q(c)for arbitrary cUniversal instantiation from (1)3. P(c)for arbitrary cSimplification from (2)4. ∀xP(x)Universal generalization from (3)5. Q(c)for arbitrary cSimplification from (2)6. ∀xQ(x)Universal generalization from (5)7. (∀xP(x)) ∨ (∀xQ(x))Disjunction from (4) and (6)(Check all that apply.)Check All That Applystep 2step 3step 4step 5step 6

Use rules of inference to show that if ∀x(P(x) →(Q(x) ∧S(x))) and ∀x(P(x) ∧R(x)) are true, then ∀x(R(x) ∧S(x)) is true. | Numerade