Proving a Tautology by Using Logical Equivalences

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

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

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

  • @aim2mobile997
    @aim2mobile997 8 месяцев назад +153

    Who tf invented this

    • @neo6576
      @neo6576 8 месяцев назад +13

      yeah bro, kinda annoying

    • @danielsbeiti
      @danielsbeiti 7 месяцев назад +14

      I swear to god hella annoying

    • @nnnnnnnnn8888
      @nnnnnnnnn8888 7 месяцев назад +14

      A psychotic mathematician

    • @namjiiiga8391
      @namjiiiga8391 7 месяцев назад +1

      No you're unto something

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

      Sir Boolean of house Algae bra

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

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

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

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

    you're a great teacher, thanks Jason

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

    Tnxs for this video it helped me too from #Ethiopia

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

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

  • @HamzaButt-iu1dg
    @HamzaButt-iu1dg 2 месяца назад +1

    Also mentioned which laws you use !

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

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

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

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

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

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

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

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

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

  • @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 месяца назад +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  2 месяца назад

      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!

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

    Thank you from Houston

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

    where can i find more example problems to practice with

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

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

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

    Thank you for the wonderful video.

  • @Gamer-Z2
    @Gamer-Z2 2 месяца назад

    bro now iam understanding this thing😁😁

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

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

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

    Thank you from india💖😃

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

    Thanks for ur amazing video

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

    clear example, Thank you

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

    best explanation ever

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

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

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

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

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

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

    Thanks for a wonderful video.

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

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

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

    Thank you so much sir🕒🕞

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

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

    Love you work

  • @ARSHDEEPSINGH-rd2ob
    @ARSHDEEPSINGH-rd2ob 3 месяца назад

    merci beaucoup

  • @JohnMuriithi-y6i
    @JohnMuriithi-y6i Месяц назад

    Thank you sir

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

    thank you

  • @derekhammond1250
    @derekhammond1250 2 месяца назад

    This is perfect ty

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

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

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

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

    This was both fun and informative!

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

    Thank you!!!

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

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

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

    thank you so much

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

    Thank you so much, You were really helpful.

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

    Thanks!

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

    Thanks

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

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

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

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

    White Sharon Rodriguez Charles Walker Elizabeth

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

    ttthhhhhaaannkksss yyoyoouuuu

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

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

    hot

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

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

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

    Thanks