Natural Deduction Proof Method for Propositional Logic: Rules of Implication I, Intro to Logic, Wk 4

An introduction to the natural deduction method (i.e., proof method) for propositional logic, including the following rules of implication: Modus Ponens (MP), Modus Tollens (MT), Hypothetical Syllogism (HS), and Disjunctive Syllogism (DS).

[elitea]

I was stuck on this for 3 weeks, but thanks to you going over everything step by step, I finally understood how natural deduction works. You absolute mad lad 🙏

P.s This is for computer science at uni

[EvyPark-zr]

I can't thank you enough, Mr. Fruhling, for the relief this video brought me. Sometimes it's easy to miss how ecstatic students feel when they understand a concept! Every lesson that builds up to mastery of a subject is essential. I deeply appreciate the way you stay friendly and thoughtful when you teach. I'll try to hold on to that as I begin student teaching.

[garyhughes]

This is by far the best channel I've come across to teach the student introductory logic. Thx.

[henrywebster]

Dear sir, could you let me know which textbook you are using.

[wendelmaglinte]

I hope u r my logic teacher. My instructor just hand out modules then that's it.

[dennycochran]

The day we did "Natural Deduction/Rules of Implication I", I walked out of Logic class truly lost. After this video I'm cranking out the answers like a boss, and I completely understand it! :-D <3

[nudzisz]

So clear and complete explanations, thank you a lot

[reignkylaortega]

Thankk youu very much!!! I thought this was really scary but you made it so simpleee and easy to understand. At first I was really just noting every example but at the near end, I try to answer it on my own first before I continue the video to see if I was correct. And I am!! Thank youu very much, really.

[juliannefuerte]

You're a LIFE SAVER thank you so much <3

[wendelmaglinte]

1. B v ~k 2.~k is that deductible? What will be the result if it is.?

[fagaedmund]

Thanks a lot it was really really helpful.