Channel: TrevTutor

Category: Education

Tags: natural deduction implicationlogic derivable rulesdemorgan's law prooflogic demorgan'slogic contraposition prooflogic contrapositive proofnatural deduction demorganslogic implicationimplication proofdemorgan's prooflogic modus tollensnatural deductive logicmodus tollens proofnatural deductive proofslogic derived rulesnatural deduction contrapositionlogic contrapositionlogic implication prooflogic proofslogic demorgan's law

Description: In this video on #Logic we do the proofs the DeMorgan's Laws (DeM), Contrapositive Law (Contra), and Implication (Impl) so that we can use them as shortcuts in further proofs. 0:00 [Intro] 0:37 [DeMorgan's #3 (DeM)] 4:10 [DeMorgan's #4 (DeM) - TOUGH] 11:32 [Contraposition (Contra)] 13:11 [Implication (Impl)] 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