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
Quantificational Logic
Advertisements
Thank you a lot, Trevor. Logic from scratch with your help it’s been joyful 🙂
LikeLike
Hye Trevor ,do you actually have a book in which i can find the exact demonstration of completeness which you gave on youtube ?
LikeLike