(12) 1 (x) (Ax Bx) Cx 2 (x)(Ax Cx) (x)Bx Use the change of quantifi er rule together with the eighteen rules of inference to derive the conclusions of the following symbolized arguments Do not use either conditional proof or indirect proof

Question

(12) 1  (x) (Ax  Bx)  Cx  2  (x)(Ax  Cx)   (x)Bx Use the change of quantifi er rule together with the eighteen rules of inference to derive the conclusions of the following symbolized arguments  Do not use either conditional proof or indirect proof

SolutionInn · Accepted Answer

The Answer is in the image, click to view ...

Question: (12) 1. (x)[(Ax Bx) Cx] 2. (x)(Ax Cx) / (x)Bx Use the change of quantifi er rule together with the eighteen rules

Step by Step Solution