Channel: TrevTutor

Category: Education

Tags: rules of inference discrete mathlogic raarules of inference philosophydisjunction introduction logicreductio ad absurdum prooflogic proofs discrete mathbiconditional eliminationrules of inference problemsrules of inferencereductio ad absurdumdouble negation proofsrules of inference logicraa proofmodus tollensbiconditional proofsnatural deductive proofsbiconditional introductiondouble negation logiclogic proofs philosophy

Description: We do two practice exercises on natural deductive proofs using biconditional elimination, biconditional introduction, and all of our rules from before. These proofs are quite long, between 15 and 25 lines each! #PropositionalLogic #LogicProofs 0:00 [Intro] 0:20 [Question #1] 9:02 [Question #2] 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 In this video on #Logic, we learn our last two rules for proofs. We learn biconditional introduction and biconditional elimination. Then we do a few example proofs.