Channel: TrevTutor

Category: Education

Tags: negated existentialexistential eliminationnegated universaltruth trees in quantificational logicuniversal eliminationpredicate logic truth treesthe logic booktruth trees in predicate logicpredicate logic entailmentquantificational logic truth treespcl truth treenegated existential decompositionpredicate logic validitytruth tree validitytruth tree entailmentnegated universal decompositionpl truth treetruth trees

Description: In this video on Logic, we look at entailment and validity in truth trees for predicate logic. We learn how to do negated universal decomposition, negated existential decomposition, universal elimination, and existential elimination. We then do three practice truth trees. 0:00 - [Validity and Entailment] 2:05 - [Tree #1] 7:42 - [Tree #2] 12:27 - [Tree #3] #PredicateLogic #TruthTrees #LogicTrees 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. Special Thanks to the following incredible supporters for supporting the channel and making these videos possible! - Nikita Tsyganov