after watching this video I've successfully solved 18 GATE questions related to this topic. Superb explanation and tips also make very big difference. Thank You, Hats Off !!
This is the most clear explanation I've had for FOL. I've never seen anyone break the universal/existential quantification. It was very helpful when you did that.
i wasted a two hour lecture at the university for this topic understanding nothing and in just 52 mins you made me understand everything \ thanks a lot sir
This is the best lecture of FOL for me till now and u make us understand the basics which is the most imp thing .for any topic to understand thoroughly, Thanks alot
A great beginning. Very meaningful introduction to a new topic. Conclusions of shortfalls of older techniques for higher level of discussion leading to a newer dimension of understanding! What a smooth sailing from one topic to the next 👏 👌. Hats off to you Sir. Checked many books and lectures but none were found to clarify the concepts 💡 to the root. Thanks for guiding open heartedly. A noble mission. God bless you 🙏
Thank you so much for your time and contribution. This video is extremely illuminating. However, I have a little advice on watching your video lesson about "propositional logic basics" first and then watching this video. Because students can find the truth value table in the propositional logic basics' video. Otherwise, it may be a bit difficult to understand why false and false makes false, why true implies false makes false and so on. because they are just rules which we cannot question and prove as you said. All in all, Thank you so much!!!!!
My sincere apologies to vaani raju rani pinky bunny who are watching these videos 😉 but at the same time I want to thank you all for making this difficult concept so easy
Sir at 19:00 you wrote For all x(Lion(x)->coffee(x)) What if animal is not a lion Then also lion(x)->coffee(x) is true Which is invalid???? Please reply and clear
what if the premises contained contradiction? for example, (V implies L), ( L implies B), (M implies -B), (V and M). one could derive (B and M), simplify B out of (B and M). Add R to B. proceed to derive -B, by disjunctive syllogism I have R which is not related to the premise.
I am trying to solve this question in discreet math and I want to translate this problem into first order logic a) There is somebody that loves two different people. b) There is somebody that loves two different people?
At 32.22, If any person has visited Africa or America i.e. if vaf(x) V vam(x) is true and the person x is not a student, then we will have For every x, [F --> T] then it will be true, but it should be false because our person is not a student. Please explain why we had not used this: For every x, [student(x) & vaf(x)] V [student(x) & vam(x)] ?
Nice video sir, can you please help me in making below sentence in FOL 1. All robots that are smart, cute or fluffy are lovable. 2. No robot is both lovable and scary
This is the most useful FOL lecture I have ever received. Thanks to you Professor. Especially, for clearing my doubt at 22:24
Thank you Vaibhav
Vaibhav Kotwal i also had the same doubt always
cant the answer be -- for all x, cat(x) -> there exists Intelligent(cat)? Please help
I have also same doubt but now it is cleared
@@utsavprabhakar5072 Question is of Some cats not All cats
after watching this video I've successfully solved 18 GATE questions related to this topic. Superb explanation and tips also make very big difference. Thank You, Hats Off !!
This is the most clear explanation I've had for FOL.
I've never seen anyone break the universal/existential quantification. It was very helpful when you did that.
i wasted a two hour lecture at the university for this topic understanding nothing and in just 52 mins you made me understand everything \
thanks a lot sir
such clarity on the concept is highly appreciable .
I was struggling with FOL for last 2 days , then i had founded this video .
I am now in love with this topic earlier than watching this video lecture i used to hate this concept.
You are just genius.
❤❤❤❤❤
I can't thank you enough. I just fell in love with your teaching approach. fantastico. Thanks a lot
This is the best lecture of FOL for me till now and u make us understand the basics which is the most imp thing .for any topic to understand thoroughly, Thanks alot
the way u talk is sooo polite and humble.
Ever since I started discrete math no one explained propositional logic like this man
A great beginning. Very meaningful introduction to a new topic. Conclusions of shortfalls of older techniques for higher level of discussion leading to a newer dimension of understanding! What a smooth sailing from one topic to the next 👏 👌. Hats off to you Sir. Checked many books and lectures but none were found to clarify the concepts 💡 to the root. Thanks for guiding open heartedly. A noble mission. God bless you 🙏
This has brilliantly been drilled into my system. Kudos for an amazing session!
That's the most helpful video I have found about FOL. Thank you for making this video, it's been super helpful.
I can't thank you enough. Best lecture about FOL on youtube.
My prof recommended this video to us and it was really indeed a great one to start thank you.
Super teaching!!
Raju is the hero
Thanks soooooo much bro, u saved my final exam anyway
Great explanation starting from first principles. It makes it so easy to apply FOL to statements. Thank you.
perfect video sir, all topics clear from just this video and I am also able to solve questions on my own.
this is the Best lecture for predicate logic in youtube
Crystal clear explanation, starting from the very fundamentals
Thank you 🙏
Best explanation on this topic ever seen..simply GREAT!!!!
hello
I would just like to say, something good is going to happen on my side, and you're one of the reason.
Thank you so much.
Thank you so much for your time and contribution. This video is extremely illuminating. However, I have a little advice on watching your video lesson about "propositional logic basics" first and then watching this video. Because students can find the truth value table in the propositional logic basics' video. Otherwise, it may be a bit difficult to understand why false and false makes false, why true implies false makes false and so on. because they are just rules which we cannot question and prove as you said. All in all, Thank you so much!!!!!
what a teacher and what an explanation....great
Best explanation ever, was worth every minute
Janith Gamage yeah bro
Highly recommended.......superb explanation
My sincere apologies to vaani raju rani pinky bunny who are watching these videos 😉 but at the same time I want to thank you all for making this difficult concept so easy
best video I have ever seen on FOL ....thanks
what an explanation sir!!. you clear all my doubts
Great video. Very useful
What an amazing explanation. THANKS A LOT FOR SHARING THIS WITH US. Keep doing this great work.
Thank You. Very clear explanation
clear and concise explanation
Thank you so freaking much! Explained so well !
This is freaking perfect. Thanks a lot!
Best explanation for predicate logic
Fantastic sir..you are a knowledge resource. thanks a lot...
Very nice video .. finally understood how to solve these statements... Thank you so much sir. 😊😊
You are just ossam actually the college professor should learn how to teach from Kiran sir
Best Video on FOL.
Thank you.
thank you soo much for your video sir
I have one question though: What is wrong with having an empty universe of discourse in FOL?
Great Explanation. Thank You sir
My doubt cleared,amazing sir
Hats Off to you Sir.. This was brilliant..
Sir I have prepared for UGC net in CS...is this kind of question are comes in that exam also???
I don't seem to get the difference btn "everyone is liked by someone" and "someone liked everyone" I think the two mean the same.
Thank you for the detailed explanation!
best fol lecture
Amazing sir ! Salute to you
if we write for all x (lion(x)--->drinks(x,cofffe)) is it right or not
The predicate is the verb part so you may write "drink(x).
So for all x[if Lx then Dx] or for all x(Dx), where object x is a lion.
Excellent sir excellent!! Saying "thank you" won't be enough sir.... :D
Waaah ji waaah!!!! Much appreciation
great clarity.. on explanation thank you sir
GOD LEVEL TEACHING 🔥
The best lecture sir!!
Very good explanation sir, thank you.
Sir at 19:00 you wrote
For all x(Lion(x)->coffee(x))
What if animal is not a lion
Then also lion(x)->coffee(x) is true
Which is invalid???? Please reply and clear
For "Everyone is liked by someone", does it matter if we choose to use x or y?
so good
what if the premises contained contradiction? for example, (V implies L), ( L implies B), (M implies -B), (V and M). one could derive (B and M), simplify B out of (B and M). Add R to B. proceed to derive -B, by disjunctive syllogism I have R which is not related to the premise.
I am trying to solve this question in discreet math and I want to translate this problem into first order logic a) There is somebody that loves two different people. b) There is somebody that loves two different people?
At 32.22, If any person has visited Africa or America i.e. if vaf(x) V vam(x) is true and the person x is not a student, then we will have
For every x, [F --> T] then it will be true, but it should be false because our person is not a student.
Please explain why we had not used this:
For every x, [student(x) & vaf(x)] V [student(x) & vam(x)] ?
I'm not sure if Raju likes rani, but I definately liked this video.
(x)(Me(x)->Liked(video)
good explanation sir!!!!!!!!!!
Nice video sir, can you please help me in making below sentence in FOL
1. All robots that are smart, cute or fluffy are lovable.
2. No robot is both lovable and scary
Really well explained :)
Thank you sir, very good explanation
Thanks Sir (Nazmul from Bangladesh)
Excellent video:))
GREAT
V good explanation
Loved the explanation!
Thank you so much 🥲
Bestest video 👌👌👌👌👌👌
very good explanation . Keep it up.
thank you sir
Thank you
THANK YOU SO MUCH SIR INCREDIBLE
GREAT WORK KEEP IT UP!!!!
very nicely explained. Thank u :)
Thank you very much sir🙏
Thank you from D.R!
Great Video
Vaah sir,aapne toh raju se sb bta diya
That was really helpful!
Amazed by this!
bits pilani
Iit bombay
this was good, isn't it?
Great work.
Thank you very much
Thanku sir in my city there is no gate coaching ur videos hels me a lot
can you help me please in artifical inteligance?
Ok i can
Yes
@@toppoint360 yes
amazing sir
ek no thank you very much sir :* :* :D
very good explanation
Thank very much sir.
good explanation sir,
thank you professor
Thanks sir
sir...don't you have videos of generationg functions,recurrence relations etc