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
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.
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am