As-in from ∀y(Q(y)→∃x(F(x)))to ∀y(Q(y))→∃x(F(x))
- How Do I Go From Line 9 To10 Without Ana Con As In From Y Q Y X F X To Y Q Y X F X 1 (61.05 KiB) Viewed 16 times
How do I go from line 9 to10 without Ana Con As-in from ∀y(Q(y)→∃x(F(x))) to ∀y(Q(y))→∃x(F(x))
-
answerhappygod
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
How do I go from line 9 to10 without Ana Con As-in from ∀y(Q(y)→∃x(F(x))) to ∀y(Q(y))→∃x(F(x))
How do I go from line 9 to10 without Ana Con
As-in from ∀y(Q(y)→∃x(F(x)))to ∀y(Q(y))→∃x(F(x))
A V bcdef V = () x y zu VW 1. Vxy(Q(y)-F(x)) 4. 3. Vy(Q(y)→F(a)) bQ(b) Q(b)→F(a) 5. Blocks Pets Set Arith 6. 7. Tet Cube Dodec SameShape F(a) 3x(F(x)) 8. vy(Q(y) → 3x(F(x))) 9. Vy(Q(y)-x(F(x))) 10. Vy(Q(y))-3x(F(x)) Vy(Q(y))→3x(F(x)) Small Medium Large SameSize Goals Left Of RightOf Front Of Backof SameCol SameRow Between Adjoins V Elim V Elim Smaller Larger Likes Happy → Elim 3 Intro: V Intro V Intro 1 3 4,5 Ana Con 6 4-7 2-8 9 >
As-in from ∀y(Q(y)→∃x(F(x)))to ∀y(Q(y))→∃x(F(x))
A V bcdef V = () x y zu VW 1. Vxy(Q(y)-F(x)) 4. 3. Vy(Q(y)→F(a)) bQ(b) Q(b)→F(a) 5. Blocks Pets Set Arith 6. 7. Tet Cube Dodec SameShape F(a) 3x(F(x)) 8. vy(Q(y) → 3x(F(x))) 9. Vy(Q(y)-x(F(x))) 10. Vy(Q(y))-3x(F(x)) Vy(Q(y))→3x(F(x)) Small Medium Large SameSize Goals Left Of RightOf Front Of Backof SameCol SameRow Between Adjoins V Elim V Elim Smaller Larger Likes Happy → Elim 3 Intro: V Intro V Intro 1 3 4,5 Ana Con 6 4-7 2-8 9 >