PATREON:   / anotherroof  
CHANNEL:    / anotherroof  
WEBSITE: https://anotherroof.top
SUBREDDIT:   / 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:
   • Mathematics from the Ground Up  

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/d... Image by brgfx on Freepik

Platypus: https://www.freepik.com/free-vector/p... Image by brgfx on Freepik

House: https://www.freepik.com/free-photo/ho... Image by senivpetroon Freepik