Chapter 1.

6, Problem 29E

Problem

Use rules of inference so show that if and

are true. then is true.

Step-by-step solution

Step 1 of 1
We have to show that if , and
are true, then are true.

Now, we will describe this by steps and reasons:

Step Reason

(1) Premise

(2) Existential instantiation from (1)

(3) Premise

(4) Universal instantiation from (3)

________________________________________________________________________

(5) Disjunctive syllogism from (4) and (2)

(6) Premise

(7) Universal instantiation from (6)

(8) Disjunctive syllogism from (5) and (7)

________________________________________________________________________

(9) Premise

(10) Universal instantiation from (9)

(11) Modus tollens from (8) and (10)

(12) Existence generalization from (11)