2:25Logic 2010: Derivations: 2.045 (CDJ: Conditional Disjunction 1 & 3)Philosopher Logic8.4K viewsView & Download
2:28Logic 2010: Derivations: 2.040 (NC: Negation of a Conditional 1 & 2)Philosopher Logic19.6K viewsView & Download
10:37Propositional Logic, Proofs (Conditional introduction)Logic & Philosophy7.0K viewsView & Download
0:34Logic 2010: Derivation: 1.102 (MC: Material Conditional)Philosopher Logic3.4K viewsView & Download