4:37Natural Deduction Proofs Explained | 5 Minute Beginner’s GuideLet's Get Logical8.3K viewsView & Download
39:47Logic - Introduction to Fitch-style Natural Deduction proofs - Proofs #1-10William Rose54.2K viewsView & Download
7:16Proofs with Rules of Inference 1 (Propositional Logic for Linguists 15)Dr. Isabel the Linguist162.5K viewsView & Download
15:08PREDICATE LOGIC and QUANTIFIER NEGATION - DISCRETE MATHEMATICSTrevTutor557.7K viewsView & Download