Logic 101 (#28): Modus Tollens

Поділитися
Вставка
  • Опубліковано 14 жов 2024
  • gametheory101.c...
    Modus tollens says that if P implies Q is true and not Q is true as well, then ~P must follow as a result.
    For example, suppose
    "If I am Miley Cyrus, I am crazy."
    and
    "I am not crazy."
    Then there is no way in hell I am Miley Cyrus.

КОМЕНТАРІ • 28

  • @ZachBugay
    @ZachBugay 8 років тому +3

    Definitely appreciated the proof by modus ponens. That helped make the modus tollens a lot clearer as to why it works.

  • @moniquewrites9046
    @moniquewrites9046 7 років тому +3

    Thank you so much. Translating the word meanings really really helps me to understand the different forms.

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

    Thank you for your effort in clarifying this concept

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

    Thank you, best example of modus tollens on youtube

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

    that truth table made my life complete

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

    I love how you can tell this came out 10 years ago by the Miley Cyrus being “crazy” reference 😂

  • @tylertyler82
    @tylertyler82 7 років тому +1

    How do you know when to use certain logical equivalencies when constructing new ways of saying the same thing or for simplifying the logic, such as you did by converting Modus Tollens to Modus Pollens and using contraposition? Is it just a matter of memorizing all the formulas, rules of inferences, laws, equivalencies, etc. so that it will pop into your head automatically? I'm having to do a lot of research to be able to simplify or convert just one implication. Hope this question makes sense

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

      Personally I think one of the best strategies (as far as homework and tests go) is to look at a previous question or part of the question and see if it is setting you up for anything. Since William talked about modus ponens in the previous video, I think that is a reasonable place to start. I also think that there can be *many* ways to prove something, and if a way seems simple or if it is the only solution you can think of (like on a test), I'd say go for it!

  • @zzzzbisonxzzzz
    @zzzzbisonxzzzz 8 років тому +13

    i got confused at the truth table

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

      What made you confused? If you let me know, I can try to explain.

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

      Could it be that you have the T/F's wrong. Shouldn't it be FALSE implies TRUE = TRUE?

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

    Q: What does a logical eagle use to catch its prey?
    A: Modus talens.
    😎

  • @sudevsen
    @sudevsen 9 років тому +1

    If it rains then I get wet
    Acc to M.T. if I don't get wet then it is not raining
    How so? It could be he case that its raining but I am under an umbrella.(which is why I don't get wet)

    • @edgars2113
      @edgars2113 9 років тому +1

      Sudev Sen If you want to find out if the reverse is true, you can't use the same 2 premises. You have to use the conclusion and one of the premises. That is a different instance of inference and it's separate from the first one. You have to construct different proof table for that where you take the conclusion and one of the premises as the two premises of this inference.

    • @edgars2113
      @edgars2113 9 років тому +1

      Edgars The ipmication a > b doesn't mean that b > a .

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

      +Sudev Sen Let me try to answer it. Your example is a case of untrue premise. "If it rains, then I get wet". This is not true as you could easily be inside a house or under an umbrella so your premise isn't a TRUTH statement.
      So that's why your conclusion isn't sound (but the argument is valid).

    • @michaelooviera2123
      @michaelooviera2123 5 років тому +1

      @@edgars2113 Yeh, so it must be understood that you get wet IN GENERAL, in all cases. If you get wet in all cases if it rains then the argument is valid

  • @naomiruwainegutierrezparri3997
    @naomiruwainegutierrezparri3997 4 роки тому

    can you make a video about how to complete the truth table?

    • @Gametheory101
      @Gametheory101  4 роки тому

      ua-cam.com/video/UaGM8T4o9xI/v-deo.html
      ua-cam.com/video/Zbr0c5QCpos/v-deo.html

  • @joeyt1416
    @joeyt1416 7 років тому +1

    why is this different from reductio ad absurdum

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

      Reductio ad absurdum tries to prove an argument by showing that if it were not true, it would lead to something absurd. One of the examples on Wikipedia ( en.wikipedia.org/wiki/Reductio_ad_absurdum ) is that if the world were flat, we'd expect people to fall off the edges, which most people consider to be absurd.
      Modus tollens just deals with the negation of a consequent showing the negation of the premise. I'm sure I'm not quite explaining it correctly, but maybe William could jump in and school us.

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

    I think this guy hates Miley Cyrus, However he is perfect 🤣

  • @Persian771
    @Persian771 8 років тому +1

    Cool thanks for video

  • @geremycao4919
    @geremycao4919 8 років тому +1

    nice video

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

    thanks a lot!

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

    Thanks

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

    Solving logic puzzles with modus ponens and modus tollens: ua-cam.com/video/DKioUaN3be4/v-deo.html