Start Learning Logic 3 | Conditional, Biconditional, Implication and Deduction Rules

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

КОМЕНТАРІ • 40

  • @punditgi
    @punditgi 2 роки тому +18

    So rare for a teacher to explain the difference between the material conditional and an implication, the latter of which is indeed a tautology. This is just one example among many as to why your lessons stand above most others. Bravo, sir! 😃

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

    The explanation of reductio ad absurdum using conditionals makes so much sense! I struggled to understand why it worked for so long, and accepted it as a thing I had to memorize. This video made it suddenly click for me. Thank you!

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

      Thank you very much! I am glad it helped you. And thanks for your support!

  • @theoendre6484
    @theoendre6484 3 роки тому +5

    Thank you very much for the great content, you are a life saver.

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

    Very nice videos!

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

    Awesome video!

  • @JoannBaron
    @JoannBaron 8 місяців тому

    Why doesnt this guy have 10 millions subscribers seriously???

  • @enasgeravi4372
    @enasgeravi4372 2 роки тому +2

    شكرا و جزاك الله خيرا

  • @ya-hengyang6006
    @ya-hengyang6006 2 роки тому +1

    Thanks! From Wikipedia, reductio ad absurdum is Latin for "reduction to absurdity".

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

    Amaizing work.

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

    Remarkable! Thanks a lot. Danke!

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

    Please continue when possible this series! :D

    • @brightsideofmaths
      @brightsideofmaths  2 роки тому +2

      As an introduction series, it is already finished. Do you want a whole logic course?

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

      @@brightsideofmaths oh hell yes sirrr

  • @lord_nom_conquersall2093
    @lord_nom_conquersall2093 Місяць тому

    F, im already confused on video 3, mostly on the conditional bit but I'm just going to accept it 😭
    Love the teaching style tho!

    • @brightsideofmaths
      @brightsideofmaths  Місяць тому +1

      That is normal :) Thanks a lot! It's a spiral for learning. You always come back to beginning to understand more and more! You can also ask questions in the community forum!

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

    1:44
    double arrow means, that standard arrow (conditional) gives tautology
    For some kind of reason it doesn't make sense for me without "that"

  • @EdmundAmonoo
    @EdmundAmonoo 10 місяців тому +1

    Your teachings are good
    But I think there's a mistake in conditional side where you were trying to prove that A ^ B =>B
    The third one on the table. If I'm wrong please let me know

    • @brightsideofmaths
      @brightsideofmaths  10 місяців тому

      Thanks a lot! Why do you think there is a mistake?

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

      Where do you see T → F in the table at 2:18?@@refiloooe.kekanaaa3888

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

    How about thinking Reductio ad absurdum in this way?
    Reductio ad absurdam: (A->B) (A ^~B -> 0)
    example: we want to prove "Square root of 2 is not a rational number". In "(square root of 2) ^ (rational)" we can find that it is false. so the first statement is true.

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

    very helpful

  • @Dupamine
    @Dupamine Рік тому +2

    At 1:05, why can we 'follow everything' if we start from false? What does that mean? Why is everything true when A is false? I still dont get it

    • @brightsideofmaths
      @brightsideofmaths  Рік тому +1

      You can read it as a definition. The implication should get the correct meaning of "if A then B"

    • @equilibrium6577
      @equilibrium6577 Рік тому +1

      @@brightsideofmathsstill not clear((

    • @skalas6011
      @skalas6011 Рік тому +5

      Copied from Simple Eng Wikipedia:
      "...the statement 'I promise that if I am healthy, I will come to class' has four possibilities:
      1.I am healthy, and I do come to class. I have kept my promise.
      2.I am healthy, and I do not come to class. I have not kept my promise.
      3.I am not healthy, and I do come to class. I have kept my promise.
      4.I am not healthy, and I do not come to class. I have kept my promise.
      In the second scenario, the statement is false, since the promise is broken. In other scenarios, the statement is true, since the promise is kept."

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

    Thanks 😊

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

    Are there any videos on your Steady platform that are not on UA-cam?

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

    Thanks for the videos Sir! Do you think they are good to watch to prepare for studying maths at university in the UK ?

  • @totoroangelo0013
    @totoroangelo0013 7 місяців тому

    toutology

  • @b.kpiano4204
    @b.kpiano4204 6 місяців тому

    I am forced to subscribe for your channel because of content and your teaching style.

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

    third part and im already lost

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

      No, problem. You don't have to understand all the details in the logic part to move forward :)