An Introduction to Propositional Logic

An introduction to propositions, truth tables, and logical equivalence, and logical operators — including negation, conjunction, disjunction, and implication.

***

Spanning Tree is an educational video series about computer science and mathematics. See more at https://spanningtree.me

To be notified when a new video is released, sign up for the Spanning Tree mailing list at https://spanningtree.substack.com/

Spanning Tree is created by Brian Yu. https://brianyu.me/

Email me at [email protected] to suggest a future topic.

0:00 Logic
0:54 Propositions
1:35 Negation (Not)
1:59 Conjunction (And)
2:26 Disjunction (Or)
3:01 Truth Tables
4:21 Exclusive Or (Xor)
4:50 Implication
7:00 Equivalence
9:19 Biconditional
9:55 Conclusion