let X p and q or r and Z be r or p and q We would like to f

let X = \"p and (q or r)\" and Z be \"r or (p and q)\".

We would like to find a good first step in a deductive sequence proof that X --> Z.

That is, we need a statement Y such that (1) Y follows from X by a rule, and (2) Y --> Z is true. Which one of these choices of Y fits these two conditions?

Choose one:

a. Y = p and q

b. Y = r

c. Y = (p and (q or r)) or r

d. Y = p

Solution

Hence we can see that p=1, all the values of X and Z are same

Hence y = p will be the choice, since it follows from X by a rule and also Y->Z is true