Discrete Math - 1.6.1 Rules of Inference for Propositional Logic

Building a valid argument using rules of inference for propositions.

Video Chapters:
Introduction 0:00
A Valid Argument 0:07
Modus Ponens and Modus Tollens 3:08
Hypothetical Syllogism and Disjunctive Syllogism 6:01
Addition and Simplification 7:56
Conjunction and Resolution 9:39
Build a Valid Argument Using Premise 12:10
Practice with Me (Assign Propositions) 16:40
Practice with Me (Challenging) 21:45
Up Next 28:19

Textbook: Rosen, Discrete Mathematics and Its Applications, 7e

[TS-wjim]

Taking this class online without a professor to explain things has been other than enjoyable. Your videos are making Discrete Math become one of my favorite subjects that I have studied thus far in my Degree. THANK YOU!!

[bhaveerathod]

Omggg I cannot even put into words how much you have helped me!!!! I was so confused about this but I tried the challenging final problem in the video by myself and GOT IT EXACTLY AND I WAS NOT EXPECTING THAT BECAUSE I KNEW NOTHING ABOUT ANYTHING before watching this video! All thanks to you!

[LindaKanjanabout-jb]

You are a life saver and a diamond amongst the rest of most college professors! Thank you.

[Articos]

I know these videos are 3 years old, but as a Brazilian Student that also goes to Discrete Math Class, this is helping me a lot. Thank you Kimberly for helping people all over the world. You are amazing!

[JB-tjot]

I started enjoying discrete because of you!! thank you so much

[luisrana]

Thank you for this! I'm studying in a good university but my teacher here is really bad. You helped me skip a 2-hour lecture and squeezed it on just a few minutes. Thank you!

[danielm]

My only regret is not having come across your videos before.
May Jesus bless you abundantly.

[hf]

These videos follow along with the modules of DM1 in WGU, and you are helping a ton. As the top comment stated, a class that has brought many worries has been turned to such a fun class for me.

[doomcake]

The challenging example was exactly what I was looking for in order to understand more complicated arguments. Thank you so much, these are fun!

[gurjotsinghpandher]

You are so great, I hope I had you as a professor. And just a suggestion in the practice from 16:41 to 21:41, we could have also used hypothetical syllogism to prove the conclusion:) Thanks!

[weaponkid]

Thanks for making these videos. I go to UNO and these videos are a lot easier to understand than reading the textbook or even my own professor's videos

[SMTausif]

thousand times better than my Russian professor. why we dont get professors like you. we could save our time so easily thankyou.

[idc]

HOLY MOLY I JUST STUMBLED UPON AN AMAZING GEM OF A CHANNEL. THANK YOU!

[bashalla]

Thank you so much for your great explanations. DM really starts making fun. I wish all my professors could explain Math that way !

[mahihoque]

Just want to thank you as a student from bangladesh and being from a middle-class family I can't any tution in these courses the meme's are true youtube does help more than the university in cse thank you

[nabeeharehman]

I was absolutely lost with DM. This is a godsend. Thankyou for this amazing lecture!

[Ang-tszo]

this is insanely helpful, i cant express this enough. thank you sincerely for helping me pass my class <3

[excitedaboutlearning]

Thank you, Kimberly, for your videos. I finally understood deductive thinking (going from universal to particular: particular being necessarily true when the said particular belongs to the group of the universal), premise, logical symbols etc. thanks to your videos. I also read an article on inductive and deductive thinking on Wikipedia, and inductive thinking clicked as well. The definition on Wikipedia was horrible, but I got that inductive thinking is the opposite of deductive thinking i.e. Going from the particular instance(s) to universal. I also understood that inductive conclusions can never be true but their likelihood of being true can be increased. However even a single instance to the contrary of the conclusion leads to a revision of the conclusion (ideally).

[Razor]

I am a Computer Systems Major - Upper Senior at City Tech. This slides are helping me in advance. Class is online - Spring 2022 but will be on campus once a month. I hope to get an A in MAT 2440. I will also take MAT 2540 in Fall 2020. Thank you very much for posting these videos.

[bahar]

OMG THANK YOU SO MUCH I REALLY COULDNT UNDERSTAND HOW WE DOING THESE THINGS AND YOU HELPED A LOT THANK YOU