- 1 (33.1 KiB) Viewed 13 times
1. Prove valid 1. (Ex) (Dx v Cx) 2. (y) (~Cy (Ay ~By)) 3. (x) (AxE Bx) 2. Prove valid 1. A v B 2. C 3. ~(A * C) v D כ /
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
1. Prove valid 1. (Ex) (Dx v Cx) 2. (y) (~Cy (Ay ~By)) 3. (x) (AxE Bx) 2. Prove valid 1. A v B 2. C 3. ~(A * C) v D כ /
1. Prove valid 1. (Ex) (Dx v Cx) 2. (y) (~Cy (Ay ~By)) 3. (x) (AxE Bx) 2. Prove valid 1. A v B 2. C 3. ~(A * C) v D כ / D v B 3. Prove valid 1. (M v N) (M> ~N) 2. ~(NP) - ~(M = ~N) 3. M v N / (Ey) ~Ay /M v P