Proving a Tautology by Using Logical Equivalences

Поделиться
HTML-код
  • Опубликовано: 7 окт 2024
  • КиноКино

Комментарии • 88

  • @aim2mobile997
    @aim2mobile997 6 месяцев назад +120

    Who tf invented this

    • @neo6576
      @neo6576 5 месяцев назад +11

      yeah bro, kinda annoying

    • @danielsbeiti
      @danielsbeiti 5 месяцев назад +9

      I swear to god hella annoying

    • @nnnnnnnnn8888
      @nnnnnnnnn8888 5 месяцев назад +12

      A psychotic mathematician

    • @namjiiiga8391
      @namjiiiga8391 4 месяца назад

      No you're unto something

    • @tegathemenace
      @tegathemenace 3 месяца назад

      Sir Boolean of house Algae bra

  • @epkademy4010
    @epkademy4010 Год назад +18

    Awesome video. Easy-to-follow and great explanation

  • @valeriereid2337
    @valeriereid2337 2 года назад +7

    Many thanks for this help. I kept keeping stuck with this exercise, it is nice to see now how to work my way out of these situations. I appreciate this.

  • @lynamhango5562
    @lynamhango5562 2 года назад +4

    Thanks for this video am sitting fory exams on 21 july which is next week 2022 and i was nervous about propositoons proofs and you have saved me.Please continue to make more videos may GOD BLESS YOU🙏🙏

  • @felifrit
    @felifrit Год назад +4

    you're a great teacher, thanks Jason

  • @kelvinasante-bekoe4865
    @kelvinasante-bekoe4865 2 года назад +3

    For a long search. This is the best I've ever seen. You're the magic.

  • @rashamohamed449
    @rashamohamed449 Месяц назад

    this made the concept click in my brain!! easy to follow and all steps explained thank you so much

  • @tamayasara3842
    @tamayasara3842 3 года назад +17

    Thank you so much for this video. Tomorrow I have an exam and I was supper nervous. And your video just save me😊
    Keep up the good work✨
    You should get a job in my college🥺

    • @jasonmalozzi7962
      @jasonmalozzi7962  3 года назад +11

      Thank you so much !!! I am very happy that this helped... let me know if there is anything else I can post for you! All the best in your studies :)

  • @natoxd8922
    @natoxd8922 3 года назад +1

    this is the best vid i found i actually understood finally

  • @pinku4613
    @pinku4613 10 дней назад

    Thank you sir for using this method. I used modus ponens and Modus tollens to solve these types of problems.

  • @juancamiloperezpenon9072
    @juancamiloperezpenon9072 Год назад +1

    Thanks for this video. I liked this explanation a lot! It's amazing!

  • @gabrielamaldonado9452
    @gabrielamaldonado9452 Год назад

    Jason, thank you so much for this video!!! Helped a lot with my HW

  • @sanzharbekbolat3335
    @sanzharbekbolat3335 3 года назад +1

    thank you, man!!! THAT'S SIMPLE AND GREAT

  • @juicewrldforever4938
    @juicewrldforever4938 3 года назад +2

    Tnxs for this video it helped me too from #Ethiopia

  • @h_githma
    @h_githma 3 года назад

    Thank you! I'm watching this just before doing a quiz on this section

  • @zyad553
    @zyad553 3 года назад

    man you are a lifesaver , i don't know what to say

  • @ogochukwuaa2488
    @ogochukwuaa2488 Год назад

    Thank you from Houston

  • @apex9108
    @apex9108 Год назад

    Thank you for the wonderful video.

  • @doyochi02
    @doyochi02 Год назад

    it's just me or this guy has the same voice with organic chemistry tutor's guy's voice ???
    btw thank u sm for the clear explanation :3

  • @jaybee9508
    @jaybee9508 5 месяцев назад

    Thank you!!!

  • @ARSHDEEPSINGH-rd2ob
    @ARSHDEEPSINGH-rd2ob 21 день назад

    merci beaucoup

  • @rashmikadeshan2710
    @rashmikadeshan2710 3 года назад +1

    thank you

  • @supandizhuo1998
    @supandizhuo1998 Год назад

    Thanks for ur amazing video

  • @joonsoftlips5563
    @joonsoftlips5563 3 года назад +1

    Thank you so much.... This was very helpful

    • @jasonmalozzi7962
      @jasonmalozzi7962  3 года назад

      I am super glad that you found this helpful! All the best and let me know if there's anything else you want to see!

  • @croback1467
    @croback1467 6 месяцев назад

    thank you so much

  • @surajnimbalkar9283
    @surajnimbalkar9283 3 года назад +1

    Thank you from india💖😃

  • @finback2005
    @finback2005 18 дней назад

    Hi Jason thanks for this explanation. It is very clear. I do know if you still read comments but I want to ask anyone here but I wonder if someone can explain the conditional part. The negation of the left and right. I got stuck here and I found your vid!

    • @finback2005
      @finback2005 18 дней назад

      Nevermind. I got it. Subbed. Thanks.

  • @ahmedshareefvideos
    @ahmedshareefvideos 7 месяцев назад

    best explanation ever

  • @bafu44
    @bafu44 Год назад

    Thank you so much sir🕒🕞

  • @oguzhanesin8425
    @oguzhanesin8425 2 года назад +1

    Thank you so much, You were really helpful.

  • @ilhamardani2004
    @ilhamardani2004 7 месяцев назад

    Thanks

  • @yasminbegum5387
    @yasminbegum5387 2 года назад

    Love you work

  • @twintroopers26
    @twintroopers26 3 года назад

    thank you so much oh my gosh ily ily ily

  • @rik9833
    @rik9833 2 года назад

    clear example, Thank you

  • @axelsprangare2579
    @axelsprangare2579 3 года назад

    Thanks!

  • @Lol__69
    @Lol__69 19 дней назад

    This was both fun and informative!

  • @gbassaykamara1457
    @gbassaykamara1457 3 года назад

    Thanks for a wonderful video.

    • @jasonmalozzi7962
      @jasonmalozzi7962  3 года назад

      Thank YOU for taking the time to write your wonderful comments :)

  • @law9541
    @law9541 25 дней назад

    where can i find more example problems to practice with

  • @cherimaepaguirigan2109
    @cherimaepaguirigan2109 3 года назад +1

    thank you for this video, it helps me to answer my activity. 💗

  • @blackspacelost554
    @blackspacelost554 3 года назад

    How to determine example of tautology you use, using Truth to table☘️

  • @halo_jk1
    @halo_jk1 2 года назад

    If it was q-->p do we say it's the same as p-->q just found out it's going to be ~q ٧ p

  • @duaafatima-nk3bo
    @duaafatima-nk3bo Год назад

    nice

  • @zaeembro1952
    @zaeembro1952 5 месяцев назад

    {~p^(p implies q)} implies ~q how can we solve this?

    • @jasonmalozzi7962
      @jasonmalozzi7962  5 месяцев назад +1

      You could use a truth table, that might be very straightforward since you only have p and q to deal with - but be warned - this one isn't a tautology!

  • @GaryJackson7Moore-k5q
    @GaryJackson7Moore-k5q 14 дней назад

    Rodriguez Helen Williams Richard Taylor Ronald

  • @StayWithMath-pv8dx
    @StayWithMath-pv8dx 5 месяцев назад

    can anyone plz explain the 4th and 5th line,,,,absorption law....?😔😔😔

    • @jasonmalozzi7962
      @jasonmalozzi7962  5 месяцев назад

      So. The absorption laws are basically a way of simplifying "or" and and" statements.
      If q is some statement, and we have q OR F, let's look at this.
      If q is F, then we have F or F, which is F.
      If q is T then we have T or F which is T.
      Therefkrez the truth value of the compound statement is the same as the truth value of q.. so that means q OR F is equivalent to q.

  • @hhhhhhha954
    @hhhhhhha954 Год назад

    But how to get p implies a equals to not p or q

    • @jasonmalozzi7962
      @jasonmalozzi7962  Год назад +1

      That is an equivalence that is established early on with truth tables. if you do the truth tables for not p or q and the truth table for p -> q, you get the same set of outputs, which means they are logically equivalent, which means they can be used interchangeably. When showing two statements are equivalent, you typically want to break it down into ands, ors, and nots. I hope this helps!.

  • @ashmirakhan7368
    @ashmirakhan7368 3 года назад

    show that the conditional statement (p∨q)∧(¬p∨r)⇒(q∨r) is tautology without using truth tables , Sir can you please solve this question, its urgent

    • @chicovalla
      @chicovalla 2 года назад

      try to find a contradicion using the semantic tableaux

  • @dresscheme2940
    @dresscheme2940 Год назад

    4:11 yo where did you get the outside negation

    • @jasonmalozzi7962
      @jasonmalozzi7962  Год назад

      That is from the logical equivalence with p -> q. It is equivalent to -p or q. So when rewriting an implication, negate the statement to the left of the arrow, then or, then whatever is on the right side of the arrow.

    • @dresscheme2940
      @dresscheme2940 Год назад

      @@jasonmalozzi7962 ahhh I see, kudos to you sir! vid has been so long but you still reply Thanks!

  • @harisss6574
    @harisss6574 3 года назад

    don't keep your mac plugged in Jason. Good video however.

  • @dbuc4671
    @dbuc4671 Год назад +1

    why do we have professors when people like u exist.....

  • @RanjsaBiswase
    @RanjsaBiswase Месяц назад

    Lee Daniel White Elizabeth Hall Laura

  • @cl8382
    @cl8382 2 года назад

    Hi! What is the software or app that you are using to sketch this?

    • @jasonmalozzi7962
      @jasonmalozzi7962  Год назад

      That is Notability for the Ipad!! Such a great app. I just can't use anything else.

  • @JomilaHak-b4u
    @JomilaHak-b4u Месяц назад

    White Sharon Rodriguez Charles Walker Elizabeth

  • @GentMongoose
    @GentMongoose 5 месяцев назад

    Wait a minute? Try test it on a truth table!

    • @jasonmalozzi7962
      @jasonmalozzi7962  5 месяцев назад

      You totally can! Truth tables can always be used. This is just another way using identities :)

  • @magicmaddox
    @magicmaddox 8 месяцев назад

    hot

  • @theperfect.5348
    @theperfect.5348 3 года назад

    ttthhhhhaaannkksss yyoyoouuuu

  • @JadenDowner246
    @JadenDowner246 3 дня назад

    who charges their phone to 100%?🤢 I genuinely wanna know

    • @jasonmalozzi7962
      @jasonmalozzi7962  День назад

      Well in all fairness, it was my ipad. It was likely plugged in because I used it to record so much.

  • @MohammedS_9
    @MohammedS_9 3 года назад

    can i have your email i want to share with you a question

  • @fardinhasanshuvo
    @fardinhasanshuvo Год назад

    Thanks