Channel: TrevTutor

Category: Education

Tags: propositional logicstatement logictruth table discrete mathdiscrete math truth tablesphilosophy truth tablespropositional logic truth tablestruth tablelogical equivalencetruth tables logicdiscrete mathmembership table discrete mathtruth tables discrete mathunderstanding discrete mathdiscrete math truth tablemath truth tablesdiscrete mathematics truth tablestruth tables propositional logiclogic truth tablestruth tableslogic

Description: We do a question in #Logic / #PhilosophicalLogic regarding the truth table of the Quine Dagger and then show that (P down P) is another way of representing NOT(P). In this video we look at truth tables in propositional logic for negation, the conjunction, the disjunction, the conditional, and the biconditional. 0:00 [Intro] 0:31 [Question Solution] 2:55 [Insight into the down arrow] Follow along in the Logic playlist: youtube.com/playlist?list=PLDDGPdw7e6AhsNuxXP3D-45Is96L8sdSG #PropositionalLogic 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.