8:18Two exercises in Natural Deductive Logic: RULES #2 (vI, vE, DN, RAA) - LogicTrevTutor4.4K viewsView & Download
9:22Two exercises in how to prove TAUTOLOGIES and CONTRADICTIONS with TRUTH TREES - LogicTrevTutor6.4K viewsView & Download
15:42Two practice exercises in Natural Deductive Logic: RULES #3 (=I, =E) - LogicTrevTutor3.6K viewsView & Download
12:57Symbolic Logic 25: Rules of Inference and Tree Method for Modal LogicJohnny's Math266 viewsView & Download
