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

Подписаться 1,3 тыс.

Просмотров 13 тыс.

50% 1

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

Опубликовано:

12 сен 2020

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист

Посмотреть позже

Комментарии : 26

@user-ri1ti2cr3k 5 месяцев назад

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.

@elitea6070 2 года назад

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

@garyhughes1664 2 года назад

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

@zfruhling 2 года назад

Thank you, Gary! I've been privileged to make a real difference in logic education, both through my work at Aplia creating educational materials for logic and in my own content creation and classroom teaching work. I try to make sure that even my free content is better than most companies' paid content! I hope you'll visit my website, if you haven't already done so. There's a ton of philosophy content on there to explore. www.zacharyfruhling.com - Thanks again, Gary, and don't hesitate to reach out if you have any questions on logic in particular or philosophy in general!

@bigbro_songz 4 месяца назад

I fully agree. Straight to the point.

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

So clear and complete explanations, thank you a lot

@mastermind2971 2 года назад

Thank you Zach!!! May God bless you!

@zfruhling 2 года назад

You're very welcome! I hope these logic videos are helpful! 🙂

@dennycochran5323 Год назад

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

@zfruhling Год назад

Hi Denny! I’m so glad that this video helped. Be sure to check out the other videos in the series as your logic class goes on. And don’t be afraid to drop me a line if I can be helpful.

@dimuthuranasinghe1713 2 года назад

Thank you so much for this !

@wendelmaglinte9749 2 года назад

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

@reignkylaortega2983 2 года назад

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.

@zfruhling 2 года назад

I'm so glad that this was helpful! Be sure to check out other videos in this natural deduction series, especially if you get stuck at any point and you work through your course. Let me know if you have any questions!

@fagaedmund8052 2 года назад

Thanks a lot it was really really helpful.

@begumka999 2 года назад

omg this is actually FUN! thank you

@zfruhling 2 года назад

I’m so glad you found the video helpful!

@juliannefuerte9947 Год назад

You're a LIFE SAVER thank you so much

@zfruhling Год назад

I’m so glad this was helpful! Be sure to check out my other videos on subsequent chapters and assignments, and don’t hesitate to contact me with any questions!

@reda9824 2 года назад

thanks that was so helpful :)

@Kajalchoudhary_ 3 года назад

thank you so so so much

@franciseanavhe2153 Год назад

👍💞

@wendelmaglinte9749 2 года назад

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

@zfruhling 2 года назад

No, if you have B v ~K and you also have ~K, you can't conclude anything from that. (That's not entirely true, actually. You could use the Addition rule to conclude something like (B v ~K) v A, or something like ~K v A. But you know nothing about the truth or falsity of B from the fact that K is false (i.e., ~K is true).

@wendelmaglinte9749 2 года назад

Hi sir. Im really confused with this one. I've been trying to solve this one but i can't find the correct answer. 1. (B v N) -> (K^L) 2. ~K 3. ~M /~B^~M i hope you'll take your time to answer this one.

@zfruhling 2 года назад

@@wendelmaglinte9749 Get ~K v ~L by addition. Then use De Morgan's Rule to get ~(K ^ L). Then get ~(B v N) by Modus Tollens. Then get ~B ^ ~N by De Morgan's Rule. Then get ~B by simplification. Finally, get ~B ^ ~M by conjunction. I hope that helps!