Natural Deduction and Proof
|
Natural Deduction and Modus Ponens
|
|
Hypothetical Syllogism and Formal Proof
|
|
Argument Forms
|
|
Basic Proof Strategy
|
|
Modus Tollens
|
|
Disjunctive Syllogism
|
|
Strategy and Tactics 1
|
|
Strategy and Tactics 2
|
Want to practice using the material covered in this video? Check out:
Baronett,pages 362-367, 8B.I,8B.II, 8B.III, 8B.IV; pages 370-371, 8C.I
Baronett,pages 362-367, 8B.I,8B.II, 8B.III, 8B.IV; pages 370-371, 8C.I
|
Simplification and Conjunction
|
|
Addition |
|
Constructive Dilemma
|
|
Basic Strategy Recap
|
Want to practice using the material covered in these videos? Check out:
Baronett,pages 378-383, 8D.I,8D.II, 8D.III
Baronett,pages 378-383, 8D.I,8D.II, 8D.III
|
Replacement Rules and Association
|
|
Commutation
|
|
Distribution |
|
Replacement Rules Strategy
|
|
DeMorgan's Laws and Double Negation
|
|
Replacement Rules Tactics
|
Want to practice using the material covered in these videos? Check out:
Baronett,pages 393-397, 8E.I,8E.II, 8E.III
Baronett,pages 393-397, 8E.I,8E.II, 8E.III
|
Material Implication
|
|
Material Implication Tactics
|
|
Material Equivalence
|
|
Tautology, Transposition, Exportation
|
Want to practice using the material covered in these videos? Check out:
Baronett,pages 405-411, 8F.I,8F.II, 8F.III, 8F.IV
Baronett,pages 405-411, 8F.I,8F.II, 8F.III, 8F.IV
|
Natural Language Arguments
|