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 כ /
Posted: Wed Jul 06, 2022 11:49 am
by answerhappygod
1 (33.1 KiB) Viewed 14 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 כ / 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