Hey, I think your table at the ~10:20 mark, last row, 2nd column, should be "∃x∀yL(y,x)" not "∃x∀yL(x,y)" (the "x" and "y" passed into the "L" function are swapped). Your slide at the ~9:37 mark, I believe, shows it the right way. If that is not the correct fix, then help me understand how rows 3 and 6 in the 2nd column are the same on the table at the ~10:20 mark. Thank you very much for sharing this video, it has helped me get unstuck with some concepts, specifically the impact of changing the order of quantifiers.
Hey,
I think your table at the ~10:20 mark, last row, 2nd column, should be "∃x∀yL(y,x)" not "∃x∀yL(x,y)" (the "x" and "y" passed into the "L" function are swapped). Your slide at the ~9:37 mark, I believe, shows it the right way.
If that is not the correct fix, then help me understand how rows 3 and 6 in the 2nd column are the same on the table at the ~10:20 mark.
Thank you very much for sharing this video, it has helped me get unstuck with some concepts, specifically the impact of changing the order of quantifiers.
Yes, you are absolutely right about that. Great catch. I will drop in annotation in to correct that until I have time to redo the vid.
Actually I just saw that TH-cam has killed annotations, so your comment will have to do for now.
Excellent video, Mr. Mayes.