Prove the Logical Expression Tautology

[@martinvadakara7759]

Thank you. You helped me more than my boring discrete math teacher.

[@boo89100]

At first I was kind of skeptic because of the video quality but it was very well explained and easy to follow. I'm glad I found this because so far it seems like the best resource for learning Discrete Structures! Thank You!

[@PbaTv7]

Good stuff. I completely understand the laws the only problem is that I never know when to use what laws

[@sben125]

Hey- thanks for the vid! What do you think is the best way to learn this material fluently? I wanna glide through this like you!

[@ashwinraj5826]

You make it look so easy :(

[@tintinu1]

Thanks man you widen my understand....

[@randerson112358]

Glad I could help Asong !

[@exoluxx9853]

Thank you very much,this helps me a lot in my assignment

[@randerson112358]

Glad the video helped!

[@exoluxx9853]

Yes it is, thank you ❤

[@orabylaikhan]

thx man that was really helpful!

[@noacajila3906]

Thank u for u help, you clarified it a lot

[@so-2751]

This is so helpful thank u

[@randerson112358]

Glad it was helpful to you!

[@JjOng-ef9kf]

Thank you so much!

[@randerson112358]

Thanks for the comment and for watching the video !

[@S1ikk3]

After the identity law at (q ^ p) --> q why do you use the implication law and how do you get ~(q ^ p) v q?

[@S1ikk3]

isn't implication law p -> q = ~p v q ? I must be missing something because I don't see how its related

[@cloudboysmusic5223]

You're right, he got it wrong. So frustrated I broke my pencil cause it wasn't making any sense

[@randerson112358]

What exactly is wrong ?

[@cloudboysmusic5223]

@randerson112358, my bad after 3 more hours of studying I figured out you can set (q^p) to represent a variable itself then you can use the implication you used.

[@RedRebel8]

I think what you call the domination law is also called the annulment law.

[@phumlanimbabela-thesocialc3285]

Thank you very much.

[@mdshrabon9817]

thanks.....it help to know tautology step by step

[@thelilteacup]

at 3:56 you place the negation sign outside the parenthesis. Why is it not inside like in the first step?

[@dekafmusic]

Thanks so much bro

[@randerson112358]

Glad you enjoyed the video!

[@instaminox]

I am glad I am doing this one right! but my assignments one are more challenging! ... contingency ...

[@mrveejayofficial]

Negation? Looks like complement property to me for the negation after distributive

[@bravek9881]

thank you so much that was so super..but i didnt get why at 1:20 we changed the → to ∨ ??? I mean what is the main point of implication?

[@randerson112358]

Domination Law states: p V T = T and p ^ F = F
Here is a video showing the laws of equivalence.
ruclips.net/video/PtfHvnHJTXg/видео.html
As for p->q, that is a conditional statement p->q = -p V q
Thanks for watching;
randerson112358

[@bravek9881]

randerson112358 THANK you very much now its all clear

[@NasriDevLab]

Thank you so much for helping with us

[@randerson112358]

Thanks watching !

[@paolyncabantac3401]

thanks dude

[@Monk3y1993]

Great job

[@randerson112358]

Thank you Knight!

[@Sakyawirananda]

yo, can yu explain to me the first identity law that you used? how can it get rid of the whole F V ?

[@randerson112358]

Which law are you talking about ?

[@sien2983]

@@randerson112358 from 2:21 on, why does it become F and what is the law that takes rid of the F?

[@javedmatrah]

Thanks. It was very helpful for me.

[@randerson112358]

Thanks for watching Javed, I am glad this video was helpful !

[@irSpongstar]

How would you use a tautology to show a logical expression is a contradiction? So (P -> Q) ~(~P \/ Q). Prove that is a contradiction using (P \/ ~P) is a tautology.

[@ankitarora495]

Thanks a lot

[@randerson112358]

Thanks for watching Ankit, I am glad my video was useful.

[@bravek9881]

What is Domination Law? Could you explain please

[@randerson112358]

Domination Law states: p V T = T and p ^ F = F
Here is a video showing the laws of equivalence.
ruclips.net/video/PtfHvnHJTXg/видео.html
I also see your question about p->q, that is a conditional statement p->q = -p V q
Thanks for watching;
randerson112358

[@bravek9881]

randerson112358 thank you alot

[@samiahabiburrehman8975]

its other name is Universal bound law

[@jesserosenthal9606]

Thank you professor. Really good video I needed this.

[@randerson112358]

+Jesse Rosenthal thanks , but I am not a professor

[@randerson112358]

+Jesse Rosenthal thanks , but I am not a professor

[@jesserosenthal9606]

Oh okay I really appreciate the video it's helping a lot of people. We lots more videos as much as you can deliver. Thank you again.

[@randerson112358]

Thank you again for the kind comment.

[@iskandarzul6730]

can you show for 3 proposition?

[@harisahmed4734]

Great help for assignment

[@randerson112358]

Thanks for watching !

[@keshara97]

Thank u it was really helpfull

[@josecoverlessons]

thanks alot very helpful

[@randerson112358]

Thanks Jose, I am glad the video was helpful for you.

[@subscribedulu5249]

tq u .....my teacher

[@husnazainal3228]

Thank u. It is helpful

[@randerson112358]

+peace brown thanks for watching

[@reniersteytler1859]

Awesome

[@shahzeb4962]

Thanks sir.I m understand.

[@puttakarthik3239]

Thank u sir..

[@randerson112358]

Thanks for watching!

[@bobtom1495]

my brain hurts...I don't get it...more specifically the laws and what happens with those laws. Because all my teacher gave me was the laws and that's it...

[@yolozenemy515]

Thank you sir

[@asu_chae]

Thank You :)

[@randerson112358]

Thank you Aubrey ! I hope the video was helpful.

[@juhaiedhossain1620]

Thanks bro ❤️❤️

[@randerson112358]

Thanks for watching!

[@jayashree9346]

Sir please explain PDNF please sir

[@supernovaletscreateachange7772]

Luvhhh uhhh so much Sir...
From India❤
U are a great teacher❤

[@randerson112358]

Thank you Chanchal for the very kind comment.

[@sabamustafa-nq3lg]

HY SOME ONE TELL ME HINDI OR URDU LANGUAGE WEBSITE FOR DISCREATE MATH TO SOLVE THIS EQUATIONN

[@e-studysphere7256]

Good Sir,

[@randerson112358]

Thank you !

[@balajamal]

Thanks

[@randerson112358]

Thanks for watching Bala !

[@mikel27180]

Thank you babe

[@rsinfotech6792]

Identity law kaya ha

[@jillpole2686]

help me. I cant do my assignment.

[@chandrikav9197]

nice

[@avinjamal5051]

My name is aven l am kurdish thank you help me about matmatical

[@imtherealtammygonna6216]

omg this is the exact problem I am doing. praise jesus! lol

[@randerson112358]

+Im The Real Tammy gonna that is fortunate.

[@imtherealtammygonna6216]

Hey! can you HELP me with this tautology problem. I cant figure it out. I watched you video on Tautology but Im still stumped on this problem ((p→q)∧¬q)→ ¬p I have to prove that it's a tautology. The same thing you did in the video

[@tshephokoolekanye6824]

P->(Q->P).show that its a tautology

[@KyotePeterson]

I can’t understand this stuff 😭

[@phumlanimbabela-thesocialc3285]

Confucius said: 'He who says he can and he who says he can't are both usually right,'

[@dbuc4671]

S

[@SreekantShenoy]

Thank you soo much!