How do I go from line 9 to10 without Ana Con
As-infrom ∀y(Q(y)→∃x(F(x))) to ∀y(Q(y))→∃x(F(x))
Yeah, Iknow ∀y(Q(y)→∃x(F(x))) to ∀y(Q(y))→∃x(F(x))is valid because 'y' is not bounded to the function 'F(x)'. [Inother words, the function 'F(x)' is not dependent on the value ofvarible 'y']. I need to translate that into fitchapplication
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 Yeah I Know Y Q Y X F 1 (61.05 KiB) Viewed 15 times
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 >
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!