Deductive Logic 1 Progress tracker In the calendar below you will also see rates of progress indexed to specific course grades. The dates indicated are not cut-off dates. They are provided to help you plan and develop realistic expectations. Please note that even the most successful students will sometimes need to take tests multiple times. The dates below should be conceived as targets for passing the test, not for making your first attempt. Note that calendar tracks are not provided for + and - grades. Also note that tutoring service is required for A and B grades. The final line in the calendar identifies the minimum level you must be at to get tutoring credit on the corresponding date. If essentially corresponds to the B-track, which is the minimum grade for which peer tutoring is required. Argument structure and evaluation
Chapter 3 The language of propositional logic
Chapter 3 The semantics of propositional logic
Chapter 3 Refutation trees I
Chapter 3 Refutation trees 2
Chapter 4 Chapter 4 Propositional calculus: Conditional proof
Chapter 6 Predicate logic: Predicates, names, quantifiers and variables Chapter 6 Predicate Logic: Formation rules, models, identity
Chapter 7 Predicate calculus: Inference rules for universal quantifier
Chapter 7 Predicate calculus: Quantifier exchange and inference rules for identity
|
 The light dove, in free flight cutting through the air the resistance of which it feels, could get the idea that it could do even better in airless space. ~Kant |
|
