Proving a Tautology by Using Logical Equivalences

แชร์
ฝัง
  • เผยแพร่เมื่อ 30 ก.ย. 2024

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

  • @aim2mobile997
    @aim2mobile997 5 หลายเดือนก่อน +114

    Who tf invented this

    • @neo6576
      @neo6576 5 หลายเดือนก่อน +11

      yeah bro, kinda annoying

    • @danielsbeiti
      @danielsbeiti 4 หลายเดือนก่อน +9

      I swear to god hella annoying

    • @nnnnnnnnn8888
      @nnnnnnnnn8888 4 หลายเดือนก่อน +12

      A psychotic mathematician

    • @namjiiiga8391
      @namjiiiga8391 4 หลายเดือนก่อน

      No you're unto something

    • @tegathemenace
      @tegathemenace 3 หลายเดือนก่อน

      Sir Boolean of house Algae bra

  • @epkademy4010
    @epkademy4010 ปีที่แล้ว +16

    Awesome video. Easy-to-follow and great explanation

  • @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 :)

  • @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.

  • @GaryJackson7Moore-k5q
    @GaryJackson7Moore-k5q 7 วันที่ผ่านมา

    Rodriguez Helen Williams Richard Taylor Ronald

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

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

  • @JomilaHak-b4u
    @JomilaHak-b4u หลายเดือนก่อน

    White Sharon Rodriguez Charles Walker Elizabeth

  • @jonbootclifford1949
    @jonbootclifford1949 23 วันที่ผ่านมา

    Lewis Kevin Taylor Amy Gonzalez Scott

  • @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🙏🙏

  • @pinku4613
    @pinku4613 4 วันที่ผ่านมา

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

  • @jonbootclifford1949
    @jonbootclifford1949 12 วันที่ผ่านมา

    Gonzalez Steven Taylor Shirley Lewis Steven

  • @MaxPenelope-w4j
    @MaxPenelope-w4j 27 วันที่ผ่านมา

    Smith Joseph Moore Amy Walker Paul

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

    Tnxs for this video it helped me too from #Ethiopia

  • @MaxPenelope-w4j
    @MaxPenelope-w4j 27 วันที่ผ่านมา

    Lopez Michelle Clark Paul Wilson Frank

  • @MaxPenelope-w4j
    @MaxPenelope-w4j 27 วันที่ผ่านมา

    Allen Maria Lopez Kevin Davis Betty

  • @law9541
    @law9541 18 วันที่ผ่านมา

    where can i find more example problems to practice with

  • @HanifaMoni-z3c
    @HanifaMoni-z3c 29 วันที่ผ่านมา

    Anderson Brenda Walker Ronald Taylor Paul

  • @MaxPenelope-w4j
    @MaxPenelope-w4j 27 วันที่ผ่านมา

    Hall Scott Miller Elizabeth Moore Carol

  • @RanjsaBiswase
    @RanjsaBiswase หลายเดือนก่อน

    Lee Daniel White Elizabeth Hall Laura

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

    you're a great teacher, thanks Jason

  • @finback2005
    @finback2005 11 วันที่ผ่านมา

    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 11 วันที่ผ่านมา

      Nevermind. I got it. Subbed. Thanks.

  • @StayWithMath-pv8dx
    @StayWithMath-pv8dx 5 หลายเดือนก่อน

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

    • @jasonmalozzi7962
      @jasonmalozzi7962  4 หลายเดือนก่อน

      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.

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

    this is the best vid i found i actually understood finally

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

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

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

    Thank you from india💖😃

  • @ARSHDEEPSINGH-rd2ob
    @ARSHDEEPSINGH-rd2ob 14 วันที่ผ่านมา

    merci beaucoup

  • @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!

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

    thank you

  • @rashamohamed449
    @rashamohamed449 23 วันที่ผ่านมา

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

  • @ilhamardani2004
    @ilhamardani2004 7 หลายเดือนก่อน

    Thanks

  • @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

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

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

  • @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!

  • @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

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

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

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

    Thanks for ur amazing video

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

    Thank you for the wonderful video.

  • @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

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

    Thank you so much sir🕒🕞

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

    thank you so much oh my gosh ily ily ily

  • @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

  • @ahmedshareefvideos
    @ahmedshareefvideos 7 หลายเดือนก่อน

    best explanation ever

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

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

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

    Thank you from Houston

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

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

  • @croback1467
    @croback1467 6 หลายเดือนก่อน

    thank you so much

  • @duaafatima-nk3bo
    @duaafatima-nk3bo ปีที่แล้ว

    nice

  • @kelvinasante-bekoe4865
    @kelvinasante-bekoe4865 2 ปีที่แล้ว +3

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

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

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

  • @Lol__69
    @Lol__69 12 วันที่ผ่านมา

    This was both fun and informative!

  • @jaybee9508
    @jaybee9508 4 หลายเดือนก่อน

    Thank you!!!

  • @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!.

  • @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.

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

    Thanks

  • @yasminbegum5387
    @yasminbegum5387 2 ปีที่แล้ว

    Love you work

  • @theperfect.5348
    @theperfect.5348 3 ปีที่แล้ว

    ttthhhhhaaannkksss yyoyoouuuu

  • @rik9833
    @rik9833 2 ปีที่แล้ว

    clear example, Thank you

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

    Thanks for a wonderful video.

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

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

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

    Thanks!

  • @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!

  • @oguzhanesin8425
    @oguzhanesin8425 2 ปีที่แล้ว +1

    Thank you so much, You were really helpful.

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

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

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

      I am glad this was helpful !!! Let me know if I can make more videos to help!

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

      I am so glad this helped you ! Good luck on your studies ;)

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

      thank youuuu

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

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