Natural Deduction

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

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

Quantificational Logic

Free and Bound Variables

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s