Propositional Logic − Precedence of Logical Operators

Поділитися
Вставка
  • Опубліковано 5 вер 2024

КОМЕНТАРІ • 52

  • @ntsakomculu371
    @ntsakomculu371 3 роки тому +11

    Excellent video. Makes things look relatively easy. Thank you!

  • @pearlcalape721
    @pearlcalape721 3 роки тому +8

    Short and very easy to understand . Thanks!

  • @markobaban2261
    @markobaban2261 Рік тому +4

    This was a perfect explanation. Thank you for making my day easier.

  • @mouadrimwind8839
    @mouadrimwind8839 5 років тому +7

    Very helpful thanks !

  • @user-dy1vm8jt5d
    @user-dy1vm8jt5d 6 років тому +16

    Is this magic

  • @Brindavanam...
    @Brindavanam... 6 місяців тому +1

    Thank yoh for your efforts sir....
    But kindly recheck P ---->r values in truth table....

  • @fatahtani7886
    @fatahtani7886 6 років тому +9

    thank you you ve been very clear about it

  • @chrisctlr
    @chrisctlr 2 роки тому +4

    Wait, I'm confused. When you did 'r', you said false false means false. (@4:54)
    But then when you did 'p implies r', you said false false means true (@5:25)... why is that?

    • @deeparawat7424
      @deeparawat7424 2 роки тому

      Because in false false means false case there was conjunction and in false false true case there was implication

    • @hakundwim1016
      @hakundwim1016 Рік тому

      @@deeparawat7424 BUT Bioconditional is only True when Both p and q has the same truth values

    • @facundocarattoli6450
      @facundocarattoli6450 Рік тому

      ​@@deeparawat7424 minute 5:02 the compound proposition called r that implies 7q ^ 7p. Both values are False so why is the compound proposition r=F . it should be r=T , shouldn't it? If we go to the earlier lessons all the truth table when both values are equal to false then the compound proposition is true.
      I was this doubt 👆🏻 but with your explication i could see the logic.. however so difficult it is so abstract to see but there is an interesting logic behind that abstraction

  • @qudratrabby1968
    @qudratrabby1968 3 роки тому +8

    there is a mistake in this calculation, i believe, final answer will be all false

  • @nitishgautam5728
    @nitishgautam5728 5 місяців тому

    1:18 It's not a well formed formula ( wff) because there is ambiguity because of no bracket.
    Logically this expression will be rejected for any further analysis in PL (propositional logic) .

  • @Isnapthesky
    @Isnapthesky Рік тому

    Smoothly explained, thank you!

    • @facundocarattoli6450
      @facundocarattoli6450 Рік тому

      minute 5:02 the compound proposition called r that implies 7q ^ 7p. Both values are False so why is the compound proposition r=F . it should be r=T , shouldn't it? If we go to the earlier lessons all the truth table when both values are equal to false then the compound proposition is true.
      it's to confused this part for me. 🙏🏻 I hope someone can help to me with this little doubt !

  • @Katokoda
    @Katokoda 3 роки тому +2

    This is just a convention right?
    I mean, it is a very usefull and very stable convention, but I think it is still important to say that this a “just” a convention

    • @AtheistReligionIsCancer
      @AtheistReligionIsCancer 3 роки тому +2

      Well, I wouldn't trust a programming language where this convention is not complied.

  • @jamalbartholomewiii7133
    @jamalbartholomewiii7133 Рік тому

    Thank you🙏

  • @dipeshsamrawat7957
    @dipeshsamrawat7957 2 роки тому

    I love Neso Academy ❤️

  • @idy7706
    @idy7706 5 місяців тому

    Negation
    conjunction
    disjunction
    implication
    biconditional

  • @lakshyarana67
    @lakshyarana67 2 місяці тому

    What is the precedence of XOR?

  • @idlanhelmy6836
    @idlanhelmy6836 3 роки тому

    thank you sir, you help me a lot

  • @mdtanvirahmmed9351
    @mdtanvirahmmed9351 3 роки тому

    Thanks

  • @vinayakpuri3855
    @vinayakpuri3855 2 роки тому

    Thanks ☺️

  • @aljhonbautista1344
    @aljhonbautista1344 2 роки тому +1

    OMG! Thanks for this video tho..

  • @rahilumar3002
    @rahilumar3002 6 років тому

    Thank you so much sir

  • @gungunpanda8135
    @gungunpanda8135 6 років тому +2

    How about XOR (Exclusive OR) related to this topic?Is its precedence only higher than biconditional operator?

    • @gungunpanda8135
      @gungunpanda8135 6 років тому +1

      Actually biconditional operator is just like XNOR gate instead of XOR gate.The output is true except only one of the inputs is false,so the precedence of these two cannot be the same.

    • @gungunpanda8135
      @gungunpanda8135 6 років тому

      Get rid of "only" ,the correct one should be "The output is true except one of the inputs is false"

    • @tejaslotlikar3573
      @tejaslotlikar3573 3 роки тому

      xor is a complex operator. It is made up of negation, conjunction, and disjunction

    • @sujanm9887
      @sujanm9887 Рік тому

      bro it ^ implies conjuction operation not xor

  • @ABugWithTheBigDreams
    @ABugWithTheBigDreams 3 роки тому +2

    5:33 p->r it should be true

    • @VikashSinghYT
      @VikashSinghYT 3 роки тому +1

      no its correct always remember true implies false is false ...visit that timing again
      thank you

  • @nawnwa
    @nawnwa 5 років тому

    I have question to convery to CNF, the compound state is (a and b or c) and (b or ~c)..... can this be done without precedence for the first bracket?

    • @AtheistReligionIsCancer
      @AtheistReligionIsCancer 3 роки тому

      I don't think so, since AND takes precedense to OR. Without the bracket the calculation will be executed like this
      (a and b) or (c and (b or ~c))

  • @facundocarattoli6450
    @facundocarattoli6450 Рік тому

    minute 5:02 the compound proposition called r that implies 7q ^ 7p. Both values are False so why is the compound proposition r=F . it should be r=T , shouldn't it? If we go to the earlier lessons all the truth table when both values are equal to false then the compound proposition is true.
    it's to confused this part for me. 🙏🏻 I hope someone can help to me with this little doubt !

    • @rizahamii2987
      @rizahamii2987 9 місяців тому

      ^ operator is used in 7q and 7p... in ^ operation the next value is T when both p and q are T otherwise it will always F...

    • @rizahamii2987
      @rizahamii2987 9 місяців тому

      For more details I suggest you that you may visit some last videos

    • @rizahamii2987
      @rizahamii2987 9 місяців тому

      In biconditional This is True when both p and q are same

  • @razan9915
    @razan9915 Рік тому

    Thank you! But I have to ask what is the precedence for exclusive or?

  • @poojarana4427
    @poojarana4427 4 роки тому +1

    sir what about precedence of X-or operator?

    • @tejaslotlikar3573
      @tejaslotlikar3573 3 роки тому +2

      xor is a complex operator. It is made up of negation, conjunction, and disjunction

  • @Nitin-yf5uc
    @Nitin-yf5uc 2 роки тому

    why is your "not" like that?

  • @rabeaahsan2070
    @rabeaahsan2070 5 років тому +2

    isn't there a mistake at 5:55

    • @Little_Orange
      @Little_Orange 5 років тому +7

      for biconditional, the double head arrow, if p and q are both true or both false, then the result will be true. Otherwise, the result will be false.

    • @mijbulbaharjibon8262
      @mijbulbaharjibon8262 5 років тому +2

      Yes. This will be True not False

    • @zhenwu5778
      @zhenwu5778 3 роки тому +1

      @@mijbulbaharjibon8262 No it is false.

    • @jesusjimenezJAJG
      @jesusjimenezJAJG 3 роки тому +1

      I think you are mistakenly seen the table for not p instead of not q. I was doing that mistake.

    • @rizahamii2987
      @rizahamii2987 9 місяців тому

      ​@@mijbulbaharjibon8262No.... it is correct there is no mistake

  • @akosyt4540
    @akosyt4540 Рік тому

    thanks