(8) Use the counterexample method to prove that the following symbolized arguments are invalid.
1. (x)[(Ax ∨ Bx) ⊃ Cx]
2. (x)[(Cx • Dx) ⊃ Ex] / (x)(Ax ⊃ Ex)

Question

(8) Use the counterexample method to prove that the following symbolized arguments are invalid  1  (x) (Ax  Bx)  Cx  2  (x) (Cx  Dx)  Ex    (x)(Ax  Ex)

SolutionInn · Accepted Answer

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

Question: (8) Use the counterexample method to prove that the following symbolized arguments are invalid. 1. (x)[(Ax Bx) Cx] 2. (x)[(Cx Dx)

Step by Step Solution