9:28Four Exercises in TRANSLATING ENGLISH into PROPOSITIONAL LOGIC - LOGICTrevTutor18.3K viewsView & Download
9:22Two exercises in how to prove TAUTOLOGIES and CONTRADICTIONS with TRUTH TREES - LogicTrevTutor6.4K viewsView & Download
12:57Symbolic Logic 25: Rules of Inference and Tree Method for Modal LogicJohnny's Math266 viewsView & Download
18:28Four Exercises in Natural Deductive Proofs: DERIVABLE RULES (DeM, Contra, Impl)TrevTutor3.8K viewsView & Download