Prove valid 1.(Ex) ~(Dx v Cx) / (Ey) ~Ay 2. (y) (~Cy (Ay ~By)) 3. (x) (Ax Ξ Bx) Prove valid 1. (M v N) (M ~N) /M v P 2.
Posted: Wed Jul 06, 2022 11:49 am
Prove valid
1.(Ex) ~(Dx v Cx) / (Ey) ~Ay
2. (y) (~Cy (Ay ~By))
3. (x) (Ax Ξ Bx)
Prove valid
1. (M v N) (M ~N) /M v P
2. ~(N P) ~(M ~N)
3. M v N
1.(Ex) ~(Dx v Cx) / (Ey) ~Ay
2. (y) (~Cy (Ay ~By))
3. (x) (Ax Ξ Bx)
Prove valid
1. (M v N) (M ~N) /M v P
2. ~(N P) ~(M ~N)
3. M v N