DM-18-First Order logic -Learn To write statements

แชร์
ฝัง
  • เผยแพร่เมื่อ 24 เม.ย. 2016
  • This lecture explains how to write first order logic statements given English statements

ความคิดเห็น • 179

  • @vaibhavkotwal4961
    @vaibhavkotwal4961 7 ปีที่แล้ว +86

    This is the most useful FOL lecture I have ever received. Thanks to you Professor. Especially, for clearing my doubt at 22:24

    • @gatebookvideolectures848
      @gatebookvideolectures848  7 ปีที่แล้ว +5

      Thank you Vaibhav

    • @ApexSpeedster
      @ApexSpeedster 7 ปีที่แล้ว

      Vaibhav Kotwal i also had the same doubt always

    • @utsavprabhakar5072
      @utsavprabhakar5072 5 ปีที่แล้ว

      cant the answer be -- for all x, cat(x) -> there exists Intelligent(cat)? Please help

    • @harshitraj8409
      @harshitraj8409 4 ปีที่แล้ว

      I have also same doubt but now it is cleared

    • @harshitraj8409
      @harshitraj8409 4 ปีที่แล้ว +1

      @@utsavprabhakar5072 Question is of Some cats not All cats

  • @kamalakarthakare4068
    @kamalakarthakare4068 7 ปีที่แล้ว +17

    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 !!

  • @harshmk1052
    @harshmk1052 4 ปีที่แล้ว +3

    such clarity on the concept is highly appreciable .
    I was struggling with FOL for last 2 days , then i had founded this video .

  • @myHandleNotAvailableYet
    @myHandleNotAvailableYet 4 ปีที่แล้ว +4

    I can't thank you enough. I just fell in love with your teaching approach. fantastico. Thanks a lot

  • @Hollowfires
    @Hollowfires 3 ปีที่แล้ว +9

    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.

  • @Angel-xh6iy
    @Angel-xh6iy 5 ปีที่แล้ว +1

    That's the most helpful video I have found about FOL. Thank you for making this video, it's been super helpful.

  • @baharehbadiei7698
    @baharehbadiei7698 4 ปีที่แล้ว +1

    I can't thank you enough. Best lecture about FOL on youtube.

  • @stellytomy9050
    @stellytomy9050 2 ปีที่แล้ว +2

    This has brilliantly been drilled into my system. Kudos for an amazing session!

  • @lordnk3698
    @lordnk3698 3 ปีที่แล้ว +1

    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

  • @Aughadi
    @Aughadi 24 วันที่ผ่านมา

    I am now in love with this topic earlier than watching this video lecture i used to hate this concept.
    You are just genius.
    ❤❤❤❤❤

  • @tituschristopher5568
    @tituschristopher5568 4 ปีที่แล้ว

    Ever since I started discrete math no one explained propositional logic like this man

  • @shethnisarg3049
    @shethnisarg3049 7 ปีที่แล้ว

    Best explanation on this topic ever seen..simply GREAT!!!!

  • @sumitbaba15
    @sumitbaba15 7 ปีที่แล้ว

    What an amazing explanation. THANKS A LOT FOR SHARING THIS WITH US. Keep doing this great work.

  • @noopursharma1289
    @noopursharma1289 2 ปีที่แล้ว

    the way u talk is sooo polite and humble.

  • @saksheeshahi573
    @saksheeshahi573 2 ปีที่แล้ว

    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

  • @cheongkoo
    @cheongkoo 3 ปีที่แล้ว

    Great explanation starting from first principles. It makes it so easy to apply FOL to statements. Thank you.

  • @chrisandaann
    @chrisandaann 5 ปีที่แล้ว +2

    Thank you so freaking much! Explained so well !

  • @sandeepmandrawadkar9133
    @sandeepmandrawadkar9133 3 ปีที่แล้ว +2

    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 🙏

  • @utsavprabhakar5072
    @utsavprabhakar5072 5 ปีที่แล้ว +2

    This is freaking perfect. Thanks a lot!

  • @ruochenli5574
    @ruochenli5574 6 ปีที่แล้ว +4

    Thanks soooooo much bro, u saved my final exam anyway

  • @jeromejianoran9042
    @jeromejianoran9042 2 ปีที่แล้ว

    My prof recommended this video to us and it was really indeed a great one to start thank you.

  • @satvikshukla596
    @satvikshukla596 2 ปีที่แล้ว

    Crystal clear explanation, starting from the very fundamentals
    Thank you 🙏

  • @parikshitsg9256
    @parikshitsg9256 4 ปีที่แล้ว +1

    Super teaching!!
    Raju is the hero

  • @shaikhshugufta3741
    @shaikhshugufta3741 6 ปีที่แล้ว

    best video I have ever seen on FOL ....thanks

  • @saifurrahmanbhuiyan925
    @saifurrahmanbhuiyan925 7 ปีที่แล้ว

    this is the Best lecture for predicate logic in youtube

  • @kanhaiyatulsyan7560
    @kanhaiyatulsyan7560 3 ปีที่แล้ว

    what a teacher and what an explanation....great

  • @EntertainerOnline
    @EntertainerOnline 5 ปีที่แล้ว

    Best Video on FOL.
    Thank you.

  • @ayashnazir844
    @ayashnazir844 4 ปีที่แล้ว

    Highly recommended.......superb explanation

  • @VishalKumar-yj3li
    @VishalKumar-yj3li 3 ปีที่แล้ว

    perfect video sir, all topics clear from just this video and I am also able to solve questions on my own.

  • @prakashp1539
    @prakashp1539 7 ปีที่แล้ว

    Fantastic sir..you are a knowledge resource. thanks a lot...

  • @umaparvathy5263
    @umaparvathy5263 6 ปีที่แล้ว

    clear explanation i hAVE seen so far..thanku sir👏

  • @preetigajdhane2592
    @preetigajdhane2592 3 ปีที่แล้ว

    what an explanation sir!!. you clear all my doubts

  • @ethicalhacker715
    @ethicalhacker715 6 ปีที่แล้ว

    Hats Off to you Sir.. This was brilliant..

  • @ronnybanerjee6020
    @ronnybanerjee6020 6 ปีที่แล้ว

    Excellent sir excellent!! Saying "thank you" won't be enough sir.... :D

  • @bharatchauhan5334
    @bharatchauhan5334 5 ปีที่แล้ว

    Waaah ji waaah!!!! Much appreciation

  • @aninda1988
    @aninda1988 3 ปีที่แล้ว

    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.

  • @kartiksharma7408
    @kartiksharma7408 5 ปีที่แล้ว

    Very nice video .. finally understood how to solve these statements... Thank you so much sir. 😊😊

  • @vidhirajvir6465
    @vidhirajvir6465 4 ปีที่แล้ว

    Thank you for the detailed explanation!

  • @shilpavpurushothaman
    @shilpavpurushothaman 8 หลายเดือนก่อน

    Great video. Very useful

  • @baharehbadiei7698
    @baharehbadiei7698 4 ปีที่แล้ว +3

    I have one question though: What is wrong with having an empty universe of discourse in FOL?

  • @TheAvishkarSawant
    @TheAvishkarSawant 7 ปีที่แล้ว

    great clarity.. on explanation thank you sir

  • @pranavphadke5753
    @pranavphadke5753 6 ปีที่แล้ว

    Loved the explanation!

  • @saigayatrivadali4471
    @saigayatrivadali4471 4 ปีที่แล้ว

    The best lecture sir!!

  • @shivamghatak86
    @shivamghatak86 3 ปีที่แล้ว

    Amazing sir ! Salute to you

  • @sheruloves9190
    @sheruloves9190 4 ปีที่แล้ว

    Best explanation for predicate logic

  • @valideyusifzade3066
    @valideyusifzade3066 3 ปีที่แล้ว

    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!!!!!

  • @tushardhamankar5532
    @tushardhamankar5532 7 ปีที่แล้ว

    Very good explanation sir, thank you.

  • @shivamjoshi3689
    @shivamjoshi3689 4 ปีที่แล้ว

    Beautifully explained :)

  • @honeysmp1
    @honeysmp1 2 ปีที่แล้ว

    Thank You. Very clear explanation

  • @munawarasaiyara3069
    @munawarasaiyara3069 5 ปีที่แล้ว +1

    Really well explained :)

  • @JanithGamageVEVO
    @JanithGamageVEVO 5 ปีที่แล้ว +2

    Best explanation ever, was worth every minute

    • @yashodperera
      @yashodperera 5 ปีที่แล้ว

      Janith Gamage yeah bro

  • @vedantshirodkar
    @vedantshirodkar 3 ปีที่แล้ว

    Great Explanation. Thank You sir

  • @omaralnayme8004
    @omaralnayme8004 6 ปีที่แล้ว

    Great work.

  • @smitbhatt3647
    @smitbhatt3647 4 ปีที่แล้ว

    GREAT WORK KEEP IT UP!!!!

  • @salonirathi1158
    @salonirathi1158 6 ปีที่แล้ว +1

    Excellent video:))

  • @rishi680
    @rishi680 3 ปีที่แล้ว

    My doubt cleared,amazing sir

  • @bhanupriyajajra
    @bhanupriyajajra 7 ปีที่แล้ว +3

    Sir I have prepared for UGC net in CS...is this kind of question are comes in that exam also???

  • @AkshayDixit13
    @AkshayDixit13 4 ปีที่แล้ว +4

    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

  • @sagarmehla3781
    @sagarmehla3781 5 ปีที่แล้ว

    very good explanation . Keep it up.

  • @SumitKumar-qt7qo
    @SumitKumar-qt7qo 4 ปีที่แล้ว

    That was really helpful!

  • @tushardhamankar5532
    @tushardhamankar5532 7 ปีที่แล้ว

    Thank you sir, very good explanation

  • @aparnata9165
    @aparnata9165 6 ปีที่แล้ว +1

    good explanation sir!!!!!!!!!!

  • @Rafael-kn8ry
    @Rafael-kn8ry 4 ปีที่แล้ว

    Thank you from D.R!

  • @nailarehman7954
    @nailarehman7954 6 ปีที่แล้ว +1

    V good explanation

  • @shehan492
    @shehan492 7 ปีที่แล้ว

    very nicely explained. Thank u :)

  • @aniketmandrulkar952
    @aniketmandrulkar952 6 ปีที่แล้ว

    THANK YOU SO MUCH SIR INCREDIBLE

  • @shreyasjain6590
    @shreyasjain6590 2 ปีที่แล้ว

    GOD LEVEL TEACHING 🔥

  • @cykahit4738
    @cykahit4738 3 ปีที่แล้ว

    For "Everyone is liked by someone", does it matter if we choose to use x or y?

  • @jaganraajan
    @jaganraajan 3 ปีที่แล้ว

    clear and concise explanation

  • @mdnazmulhossain1802
    @mdnazmulhossain1802 6 ปีที่แล้ว

    Thanks Sir (Nazmul from Bangladesh)

  • @goldensona5961
    @goldensona5961 5 ปีที่แล้ว

    Bestest video 👌👌👌👌👌👌

  • @vaibhavagarwal1572
    @vaibhavagarwal1572 5 ปีที่แล้ว

    Great Video

  • @Ravi_Raphel
    @Ravi_Raphel 7 ปีที่แล้ว

    very good explanation

  • @saurabhkumar-ch2xs
    @saurabhkumar-ch2xs 5 ปีที่แล้ว +1

    amazing sir

  • @kiransuryam4927
    @kiransuryam4927 2 ปีที่แล้ว

    thank you soo much for your video sir

  • @punkguys6811
    @punkguys6811 7 ปีที่แล้ว

    Thank very much sir.

  • @creativeplanet2820
    @creativeplanet2820 7 ปีที่แล้ว +1

    ek no thank you very much sir :* :* :D

  • @praveenlethakari373
    @praveenlethakari373 6 ปีที่แล้ว

    thank you professor

  • @Kshitij19971
    @Kshitij19971 5 ปีที่แล้ว +1

    You are just ossam actually the college professor should learn how to teach from Kiran sir

  • @MANISHSHARMA-we2ye
    @MANISHSHARMA-we2ye 6 ปีที่แล้ว

    nice explanation sir

  • @jyotiparkash9040
    @jyotiparkash9040 7 ปีที่แล้ว +1

    awesome

  • @masalman1441
    @masalman1441 5 ปีที่แล้ว

    Thank you very much

  • @sasiniishara358
    @sasiniishara358 4 ปีที่แล้ว

    Thank you very much sir🙏

  • @jayanthduvvada
    @jayanthduvvada 6 ปีที่แล้ว

    Salute you sir

  • @user-kf5xy8ik4n
    @user-kf5xy8ik4n 3 ปีที่แล้ว

    best fol lecture

  • @vivek.12d
    @vivek.12d 4 ปีที่แล้ว

    Amazed by this!

    • @hitman1646
      @hitman1646 3 ปีที่แล้ว +1

      bits pilani

    • @vivek.12d
      @vivek.12d 3 ปีที่แล้ว

      Iit bombay

  • @ranitchatterjee5552
    @ranitchatterjee5552 2 ปีที่แล้ว

    Thank you so much 🥲

  • @PRIYAGUPTA-dr1nr
    @PRIYAGUPTA-dr1nr 6 ปีที่แล้ว +1

    Thanks sir

  • @karomojayden316
    @karomojayden316 3 ปีที่แล้ว

    Thank you

  • @tuba5700
    @tuba5700 2 ปีที่แล้ว

    so good

  • @sabahs3651
    @sabahs3651 2 ปีที่แล้ว

    GREAT

  • @samueladler9080
    @samueladler9080 7 ปีที่แล้ว

    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.

  • @mianshafiq9075
    @mianshafiq9075 5 ปีที่แล้ว

    Good lecture

  • @bhavnasingh2569
    @bhavnasingh2569 5 ปีที่แล้ว

    sir...don't you have videos of generationg functions,recurrence relations etc

  • @aishwaryanarkar2954
    @aishwaryanarkar2954 7 ปีที่แล้ว

    amazing tysmmmmmmmmmmmm

  • @samueladler9080
    @samueladler9080 4 หลายเดือนก่อน

    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.

  • @Liamlefe
    @Liamlefe 4 ปีที่แล้ว

    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

  • @diwaspoudel7
    @diwaspoudel7 7 ปีที่แล้ว +1

    thanx a lot sir...hoping for more videos :)

  • @reeshalrittoo3489
    @reeshalrittoo3489 5 ปีที่แล้ว

    perfect

  • @manishasrivastava5984
    @manishasrivastava5984 6 ปีที่แล้ว +1

    if we write for all x (lion(x)--->drinks(x,cofffe)) is it right or not

    • @samueladler9080
      @samueladler9080 4 หลายเดือนก่อน

      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.