DM-19-First Order Logic - GATE PROBLEMS ON CONVERTING INTO FIRST ORDER

แชร์
ฝัง
  • เผยแพร่เมื่อ 23 เม.ย. 2016
  • This lecture contains GATE problems related to writing first order logic statements

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

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

    Wow!! You compelled me to login to like this video.
    I wish i had seen this earlier.

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

    Thank you sir, looking for more videos on Gate lectures, please upload as soon as possible. :)

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

    nice explanation..
    Thanks a lot....

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

    Good job. Very clear

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

    Kya baat hai, bhut shi....

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

    Nicely explained.

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

    11:37, "for all y: girl(y) -> taller(x,y)" can be true irrespective of whether y is girl or not. The whole statement doesn't particularly speak boys are taller than girls. So, why option D is correct?

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

    thnk u sir for ur lectures.

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

    best explanation so far on the net...thank you

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

    for the last question try converting the sentence in option B to FOL and check if u'd get the same thing.
    option D seems to be the correct one

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

    In gate 2010 question sir
    can we have this approach like : -
    we can assume double negation and then second negation
    take this negation inside it before all quantifiers so for all converted to some
    so it converted into : - negation of some person x can fool every person all the time
    OR
    no person can fool everyone all the time
    so option (B)

  • @AmitBiswas-hd3js
    @AmitBiswas-hd3js 6 ปีที่แล้ว +1

    But great Explanation....

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

    I think last question answer should be "No one can fool some person at some time" that is option D. This is the same question solved in ACE Academy book. Would you like to comment on this please ?

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

      I think that B and D are equivalent statements. The counter example in the video that disprove D, that there is someone that can fool someone at sometime, does not contradict the statement that noperson can fool someone at sometime, the fooled person and time can be different in both statements so it's not a contradiction and both statements are correct.

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

      Sir, i also thought option D would be correct. First you said to remember "some person at some time" for the EyEt.
      Now, ~F(x, y, t) means "x cannot fool y at time t". So, AxEyEt(~F(x, y, t) would mean "everyone cannot fool someone at some time" or "No one can fool someone at some time". Maybe i didn't understand this.

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

      This is a property
      ∀x∃y∃t(¬F(x,y,t)) => ¬∃x∀y∀t(F(x,y,t)) - DeMorgan's Law
      This is nothing but,
      => There does not exists someone who can fool everyone all the time
      => No one can fool everyone all the time
      option B @17:38

  • @AmitBiswas-hd3js
    @AmitBiswas-hd3js 6 ปีที่แล้ว +9

    Seems like Raju is your favourite person.....haha

  • @techieadi4377
    @techieadi4377 8 ปีที่แล้ว

    sir when you will upload next videos of discreate mathematics

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

    Should we bow?
    Yeah he is a king🙏🙏🙏

  • @Ankit-we8ym
    @Ankit-we8ym 7 ปีที่แล้ว +1

    can anybody explain first question

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

    i couldn't understand the gold and silver ornaments are precious part. why is it "or" operator instead of "and" ?

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

    sir last question samjh nahiibayaa

  • @ashnasusansaji7636
    @ashnasusansaji7636 ปีที่แล้ว

    Sir how to write - all persons that are liked by another person are kind

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

    Sir you tell me one thing in first question if the ornaments are neither of gold nor of silver then also d option returns true which is wrong........plsss explain it pleSse

    • @gourav.barkle
      @gourav.barkle 4 ปีที่แล้ว +1

      yes, it will be true but here we only said that if they are of gold or silver they need to be precious but if they are not then they could be precious or not.
      get it or not?

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

    Please Sir Made this Sentence:----->Every man is Poor than Everywoman.

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

    sir how to write ---> some person loves no one except themselves.
    someone, please help

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

      for some x (for all y negation love(x,y) ^ love(x,x))

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

      @@TheVoiceFinest thank you..

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

    dear TH-cam don't recommend this video anymore my exam finished.

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

    isnt it lectures are good