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