Proving a Tautology by Using Logical Equivalences

[@aim2mobile997]

Who tf invented this

[@neo6576]

yeah bro, kinda annoying

[@danielsbeiti]

I swear to god hella annoying

[@nnnnnnnnn8888]

A psychotic mathematician

[@namjiiiga8391]

No you're unto something

[@tegathemenace]

Sir Boolean of house Algae bra

[@epkademy4010]

Awesome video. Easy-to-follow and great explanation

[@valeriereid2337]

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]

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]

you're a great teacher, thanks Jason

[@gabrielamaldonado9452]

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

[@sanzharbekbolat3335]

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

[@kelvinasante-bekoe4865]

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

[@juancamiloperezpenon9072]

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

[@natoxd8922]

this is the best vid i found i actually understood finally

[@tamayasara3842]

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]

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

[@h_githma]

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

[@apex9108]

Thank you for the wonderful video.

[@zyad553]

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

[@juicewrldforever4938]

Tnxs for this video it helped me too from #Ethiopia

[@rik9833]

clear example, Thank you

[@jaybee9508]

Thank you!!!

[@ogochukwuaa2488]

Thank you from Houston

[@supandizhuo1998]

Thanks for ur amazing video

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

[@axelsprangare2579]

Thanks!

[@yasminbegum5387]

Love you work

[@rashmikadeshan2710]

thank you

[@croback1467]

thank you so much

[@blackspacelost554]

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

[@bafu44]

Thank you so much sir🕒🕞

[@twintroopers26]

thank you so much oh my gosh ily ily ily

[@ahmedshareefvideos]

best explanation ever

[@surajnimbalkar9283]

Thank you from india💖😃

[@ilhamardani2004]

Thanks

[@joonsoftlips5563]

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

[@jasonmalozzi7962]

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!

[@gbassaykamara1457]

Thanks for a wonderful video.

[@jasonmalozzi7962]

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

[@oguzhanesin8425]

Thank you so much, You were really helpful.

[@cl8382]

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

[@jasonmalozzi7962]

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

[@duaafatima-nk3bo]

nice

[@halo_jk1]

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

[@jasonmalozzi7962]

That is correct!!!!

[@cherimaepaguirigan2109]

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

[@jasonmalozzi7962]

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

[@jasonmalozzi7962]

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

[@cherimaepaguirigan2109]

thank youuuu

[@ashmirakhan7368]

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]

try to find a contradicion using the semantic tableaux

[@hhhhhhha954]

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

[@jasonmalozzi7962]

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]

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

[@jasonmalozzi7962]

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.

[@zaeembro1952]

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

[@jasonmalozzi7962]

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!

[@dresscheme2940]

4:11 yo where did you get the outside negation

[@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]

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

[@dbuc4671]

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

[@harisss6574]

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

[@theperfect.5348]

ttthhhhhaaannkksss yyoyoouuuu

[@magicmaddox]

hot

[@GentMongoose]

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

[@jasonmalozzi7962]

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

[@mohmohwwe1]

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

[@fardinhasanshuvo]

Thanks