Foundations 1 — Propositional Logic | Implication, Connectives, Truth Tables

00:00 Intro 01:36 What is Propositional Logic? 03:09 The Axioms 10:59 The Connectives 35:29 DeMorgan's Laws 38:42 Connection to Set Theory 43:24 Thanks for Watching! This is the second video of the Foundations of Math series! In this one, I cover the Axioms of Propositional Logic. The previous video was an introduction to the series and contains information that may help you understand some of the things I say in this video. In particular, I explain what an Axiom is and what a complete axiom system is. I have to apologize about the audio. There are some clicking sounds and the overlaid video of me talking is not synced with the actual audio. I tried my best and thought it was synced, but, upon exporting the edited video, found that it was no longer synced. I chose to keep the overlaid video because I figured the overall video would be slightly more interesting to watch. I have a few things to try in order to avoid this issue in the future, and hopefully my new audio recording method will fix the clicking issue as well. Thank you for your patience with my learning process. I hope you enjoy the video! Like, comment with any questions or input, and subscribe to catch the next video, Foundations 2 — First-Order Logic! #mathtutor #math #logic #settheory #propositionallogic #axioms #incompleteness #education #foundationsofmath #truthtables