4 thoughts on “Lecture – 14 Reasoning Using First Order Logic

  • March 3, 2011 at 6:44 am
    Permalink

    @46:42, where is the perf_sq(36) that is supposed to be from (5)..? i understood other but the missing perf_sq(36).

    Reply
  • November 19, 2012 at 11:56 pm
    Permalink

    Yes in the 24:10 there will be a problem. Because if we say dog(X) ^ has_four_legs(X) then we are referring to one particular dog not all dogs. the sentence is All dogs have four legs. therefore we will be limiting our query.

    Reply
  • September 19, 2013 at 5:50 am
    Permalink

    sir i would be really thankful to you if you suggest me some good books regarding predicate logic with lots of solved examples in it.

    Reply
  • September 20, 2017 at 2:27 pm
    Permalink

    I am drunk and the letters are dancing ??

    Reply

Leave a Reply

Your email address will not be published. Required fields are marked *