How to Read Logic

PATREON: https://www.patreon.com/anotherroof CHANNEL: https://www.youtube.com/c/AnotherRoof WEBSITE: https://anotherroof.top SUBREDDIT: https://www.reddit.com/r/anotherroof Symbolic logic looks intimidating, combining familiar symbols like equality and inclusion with lesser-known backwards E’s and upside down A’s. But with a bit of guidance, anyone can understand the meaning of these symbols and interpret logical statements. Check out my series on building numbers from the ground up: https://www.youtube.com/playlist?list=PLsdeQ7TnWVm_EQG1rmb34ZBYe5ohrkL3t TIMESTAMPS 00:00 - Intro 03:07 - Or, And, Not 06:28 - Implication 16:39 - Quantifiers 26:26 - Outro INVESTIGATORS ftfftttftf is not the slug you are looking for. CORRECTIONS *Propositions vs predicates: So that I didn’t overwhelm the viewer I stuck to just using “proposition” throughout. I know this isn’t strictly correct as many of the statements involving variables are actually prediates. **For some reason when recording I had it in my head that ‘n’ was a British thing when it is widely used throughout the Anglosphere and beyond. ***Slip of the tongue that kind of undermines my point — the converse of Legrange’s Theorem would be “H is a subset with cardiality dividing |G| ⇒ H is a subgroup of G." ****Another slip of the tongue that undermines the point — we are showing that whenever x is NOT zero, it has a reciprocal y=1/x. CREDITS All music by Danjel Zambo. Octopus: https://www.freepik.com/free-vector/design-with-seamless-pattern-octopus_7033956.htm#query=octopus&position=7&from_view=search&track=sph Image by brgfx on Freepik Platypus: https://www.freepik.com/free-vector/platypus-flat-cartoon-style_30758916.htm#query=playpus&position=19&from_view=search&track=ais Image by brgfx on Freepik House: https://www.freepik.com/free-photo/house-isolated-field_10025444.htm#query=house&position=1&from_view=search&track=sph Image by senivpetroon Freepik