Page 1 of 1
5. Prove invalid by the method for building a countermodel (Ex) (-Ax-Bx) (x) (Ax*-Bx) = Cx) (x) ~Ax (x)~Bx (Ex) Cx 6. Pr
Posted: Wed Jul 06, 2022 11:49 am
by answerhappygod
- 5 Prove Invalid By The Method For Building A Countermodel Ex Ax Bx X Ax Bx Cx X Ax X Bx Ex Cx 6 Pr 1 (36.96 KiB) Viewed 13 times
5. Prove invalid by the method for building a countermodel (Ex) (-Ax-Bx) (x) (Ax*-Bx) = Cx) (x) ~Ax (x)~Bx (Ex) Cx 6. Prove valid 1. (x) (~Ax v (Bx * Cx)) 2. (x) ((Ax Cx) - Dx) 2. (y)~ (Dy ~Cy) ~ / (Ey) ~Ay 7. Prove invalid by the method for building a countermodel (x) (-Zx-Vx) (x) (~Vx (Zx * Ux)) (Ex) (-Zx v Ux)