Channel: TrevTutor
Category: Education
Tags: inference ruleslogic rules of inferencesimplification logiclogica valid argumentinference rules logicaddition logicmodus tollens logicconjunction logicrules of inference problemsdiscrete mathrules of inferencemodus ponens logicrules of inference logicmodus tollensnatural deductive proofsrules of inference exampleshypothetical syllogismlogic inference rulesmodus ponensvalid argument logicvalid argumentdiscrete mathematics
Description: We do two more natural deductive proofs using the rules introduced in the last video. They are listed below. 0:00 [Intro] 0:31 [Question #1] 5:27 [Question #2] 9:45 [The Takeaway] Follow along in the Logic playlist: youtube.com/playlist?list=PLDDGPdw7e6AhsNuxXP3D-45Is96L8sdSG If you want to support the channel, hit the "JOIN" button above and pick a channel subscription that suits your needs: youtube.com/channel/UCGYSfZbPp3BiAFs531PBY7g/join Patreon: bit.ly/2EUdAl3 Website: TrevTutor.com Subscribe: bit.ly/1vWiRxW Facebook: on.fb.me/1vWwDRc *--Playlists--* Logic: youtube.com/playlist?list=PLDDGPdw7e6AhsNuxXP3D-45Is96L8sdSG *--Recommended Textbooks--* The Logic Book: amzn.to/31h2qR8 Modal Logic for Philosophers (Garson): amzn.to/3dECGn4 A Friendly Introduction to Mathematical Logic: amzn.to/37hMYZa An introduction to Formal Logic with Philosophical Applications: amzn.to/3j3J9sx Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates. If you have any questions, leave them below. I try to answer as many questions as possible. In this video we introduce natural deductive proofs and our first set of rules of inference: Reiteration, conjunction elimination, conjunction introduction, modus ponens (conditional elimination), and conditional proof (conditional introduction).