Y

YouLibs

Remove Touch Overlay

Two exercises in Natural Deductive Logic: RULES #2 (vI, vE, DN, RAA) - Logic

Duration: 08:18Views: 1.6KLikes: 46Date Created: Oct, 2020

Category: Education

Tags: rules of inference discrete math logic raa rules of inference philosophy disjunction introduction logic disjunction elimination reductio ad absurdum proof disjunction introduction logic proofs discrete math rules of inference reductio ad absurdum double negation proofs rules of inference logic raa proof natural deductive proofs or elimination or introduction double negation logic disjunction elimination logic logic proofs philosophy

Description: We do two more natural deductive proofs using the rules of inference introduced in the last two sets of videos. #PropositionalLogic #LogicProofs 0:00 [Intro] 0:21 [Question #1] 2:58 [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 four more rules for proofs. We learn disjunction introduction, disjunction elimination, double negation, and reductio ad absurdum (negation introductions, or proof by contradiction).