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 contact@trevtutor.com

### Lectures

##### Propositional Logic

What is Logic

Syntax of Propositional Logic

Symbolizing Sentences

Truth Tables

Tautologies, Contradictions, and Equivalences

Syntax of Propositional Logic

Symbolizing Sentences

Truth Tables

Tautologies, Contradictions, and Equivalences

Entailment

Proofs and Rules #1

Proofs and Rules #2

Constructing Proofs

Derivable Rules for Proofs

##### Completeness and Soundness of Propositional Logic

Completeness II

Completeness III

Completeness IV

Completeness V