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