Question: 2. Use predicate logic to prove the following arguments: a) (Vr)(PU) (Vy)Q[I,y)) (L)Q(1,4) (P(b) R(a)) R(a) b) Q(I) A (VI)(P(1) ((V)(Qly) R(, y))) A (Vy)
2. Use predicate logic to prove the following arguments: a) (Vr)(PU) (Vy)Q[I,y)) (L)Q(1,4) (P(b) R(a)) R(a) b) Q(I) A (VI)(P(1) ((V)(Qly) R(, y))) A (Vy) R(y, 1) + P(6) c)(L)(PCI) + Q(1/a)) Q(6, a)AQ(a, a)A(Vr)(Vy)(Q(I,y) + P(E)VQ(y, a)) + P(6) d) P(a) A(VI)((ty)Q[y,q) R(I, a)) A (V1)(y)(P(1) Q(y, 1)) (12)/(2.a) e) (Vr) Wy)(P(1.y) AP{y, I) A (Vr)(x)(P(I,y) VQ(y)) (Lx)(Vy)(R(I,y) AQ(y)) 1) P(a) A(VI) (P(x) Q(1, 1)) A (Vy)(P(y) Q[y.y))+ (%)P() (y)P(y) 2. Use predicate logic to prove the following arguments: a) (Vr)(PU) (Vy)Q[I,y)) (L)Q(1,4) (P(b) R(a)) R(a) b) Q(I) A (VI)(P(1) ((V)(Qly) R(, y))) A (Vy) R(y, 1) + P(6) c)(L)(PCI) + Q(1/a)) Q(6, a)AQ(a, a)A(Vr)(Vy)(Q(I,y) + P(E)VQ(y, a)) + P(6) d) P(a) A(VI)((ty)Q[y,q) R(I, a)) A (V1)(y)(P(1) Q(y, 1)) (12)/(2.a) e) (Vr) Wy)(P(1.y) AP{y, I) A (Vr)(x)(P(I,y) VQ(y)) (Lx)(Vy)(R(I,y) AQ(y)) 1) P(a) A(VI) (P(x) Q(1, 1)) A (Vy)(P(y) Q[y.y))+ (%)P() (y)P(y)
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
Study Help