วีดีโอ

With consideration to comedy aside, the perfect solids model and the music make this the coolest introduction yet!

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.

really sucks that I just found your channel the night before my final exam on Predicate Calculus... thanks a lot, I really like the way you explain things.

I know you put this up almost a year ago but I need an explanation of the slide @19min55sec. Where does the (As) come from? Is that just a typo for (Es)? If so then is #8 also a typo since (As)=(~~As)? I am also confused about the right column of .... variables? What does A stand for? H? 1,4->E?

At 6:27, if line 2 had ∀xFx instead of∀xFa, there wouldn't be an error on line 6. I think that confuses the issue because the introduction of Fa on line 3 would appear to be within an undischarged hypothesis, making it invalid. However, that's not the case. You're explanation seems to be ambiguous because you didn't make it clear that ∀xI (the introduction of a) after the hypothesis' initial assumption is not a violation of the rule.

Excellent video, Mr. Mayes.

Thanks for the great explanation!

Your videos are incredibly thorough and helpful, thank you!

nice video

At 12.00, could we use disjunctive syllogism on lines 3,6 to get ∀z~Gza as an alternative route to the proof instead of instantiating first? Thanks!

at 6.27, isn't it also a mistake to hypothesize "For all x, Fa" line 2. This is not a wff.

At 25.26 there is a not-wff as an answer. It seems to make sense if "for all z" is ignored?

Are contradictory formulas also called, "WFF" well formed formulas?

I should admit that you are giving me a free ticket to the University if I pass that class.. I really appreciate your support...I will keep track of all your videos. Keep explaining slowly and with all those little details that make it clear. By the way, can I post questions over the course ?? THANK YOU FOR THE SUPPORT MR. MAYES.

Thanks. good, v good lessons

Great lessons! Thank you for uploading! Predicate logic is foreign and new to me so having this as extra to my class notes is very helpful.

Thanks, this video was helpful. I'm taking a class in logic and I'm really struggling with it. My teacher is bad at explaining things in simple terms, which you do very well. The 'book' that we use is written by the same teacher, so that doesn't help much. And unfortunately, we are supposed write out evaluations, in an even more formal way than was done in this video.

Very helpfull, thank you!

Which book are you referring to?

This was great although I wish there more AI and less AE problems at the end of the video. Thanks!

This really helped me. Thank you so much!