Provide proof of the following argument using prelogic.

Question -1:
1. (x) [Ax > (Bx > Cx)]
2. (3x) (Ax v Dx)
3. (x) ~Dx
4. (x) Bx / (3x) Cx

Question-2:
1. (3x) (Px v Gx) > (x) Hx
2. (3x) (~Hx) / (x) (~Px)


saudimadness
Asked May 04, 2010

TIP: If it's not your answer to this question, please click "Leave a Comment" button under the question to communicate with the question owner.

Categories