17:05
Discrete Math - 1.6.2 Rules of Inference for Quantified Statements
1:02:52
Natural Deduction Proof Method for Propositional Logic: Rules of Implication I, Intro to Logic, Wk 4
19:32
Discrete Math - 1.1.1 Propositions, Negations, Conjunctions and Disjunctions
9:44
Discrete Math - 1.7.1 Direct Proof
15:29