Proving a Tautology by Using Logical Equivalences

แชร์
ฝัง
  • เผยแพร่เมื่อ 22 ธ.ค. 2024

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

  • @aim2mobile997
    @aim2mobile997 8 หลายเดือนก่อน +152

    Who tf invented this

    • @neo6576
      @neo6576 8 หลายเดือนก่อน +13

      yeah bro, kinda annoying

    • @danielsbeiti
      @danielsbeiti 7 หลายเดือนก่อน +13

      I swear to god hella annoying

    • @nnnnnnnnn8888
      @nnnnnnnnn8888 7 หลายเดือนก่อน +13

      A psychotic mathematician

    • @namjiiiga8391
      @namjiiiga8391 7 หลายเดือนก่อน +1

      No you're unto something

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

      Sir Boolean of house Algae bra

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

    Awesome video. Easy-to-follow and great explanation

  • @lynamhango5562
    @lynamhango5562 2 ปีที่แล้ว +6

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

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

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

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

  • @HamzaButt-iu1dg
    @HamzaButt-iu1dg หลายเดือนก่อน +1

    Also mentioned which laws you use !

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

    you're a great teacher, thanks Jason

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

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

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

    Tnxs for this video it helped me too from #Ethiopia

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

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

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

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

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

    where can i find more example problems to practice with

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

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

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

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

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

    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

  • @xord6286
    @xord6286 หลายเดือนก่อน +2

    I have to take this shit for computer science how the hell will this help me this is not directed at you but at education in general

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

      Well… it may not be clear now… but once you get into logic gates and other things that are more specific in computer science, you’ll see that this is helpful. Don’t worry .. you’re not the first to ask, and you won’t be the last!

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

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

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

    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 3 หลายเดือนก่อน

      Nevermind. I got it. Subbed. Thanks.

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

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

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

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

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

    Thank you from Houston

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

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

    best explanation ever

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

    Thank you for the wonderful video.

  • @Gamer-Z2
    @Gamer-Z2 หลายเดือนก่อน

    bro now iam understanding this thing😁😁

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

    Thanks for ur amazing video

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

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

    Thank you from india💖😃

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

    thank you

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

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

    • @jasonmalozzi7962
      @jasonmalozzi7962  2 ปีที่แล้ว +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!.

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

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

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

      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.

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

    This is perfect ty

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

    Thank you!!!

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

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

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

    Love you work

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

    clear example, Thank you

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

    thank you so much oh my gosh ily ily ily

  • @ARSHDEEPSINGH-rd2ob
    @ARSHDEEPSINGH-rd2ob 3 หลายเดือนก่อน

    merci beaucoup

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

    Thank you so much, You were really helpful.

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

    Thank you so much sir🕒🕞

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

    Thanks for a wonderful video.

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

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

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

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

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

    • @jasonmalozzi7962
      @jasonmalozzi7962  8 หลายเดือนก่อน +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!

  • @JohnMuriithi-y6i
    @JohnMuriithi-y6i หลายเดือนก่อน

    Thank you sir

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

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

    thank you so much

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

    This was both fun and informative!

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

    Thanks!

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

    Thanks

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

    nice

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

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

  • @GaryJackson7Moore-k5q
    @GaryJackson7Moore-k5q 3 หลายเดือนก่อน

    Rodriguez Helen Williams Richard Taylor Ronald

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

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

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

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

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

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

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

    Lee Daniel White Elizabeth Hall Laura

  • @RichardGonzalez-v6y
    @RichardGonzalez-v6y 2 หลายเดือนก่อน

    Robinson Gary Brown Laura Davis Paul

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

    ttthhhhhaaannkksss yyoyoouuuu

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

    White Sharon Rodriguez Charles Walker Elizabeth

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

    hot

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

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

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

      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

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

    Thanks