Welcome to Natural Deductive Logic, which is a rigorous introduction to Propositional and Predicate Logic with Metatheory. These videos will cover everything you need to know in an introductory logic course, as well as touch on some topics you would encounter in an intermediate logic course.
If you have any suggestions or would like more practice on a certain topic, please send your suggestions to firstname.lastname@example.org
Syntax of Propositional Logic
Tautologies, Contradictions, and Equivalences