Mathematical Logic

Propositional Logic

1. Propositions & Connectivesand, or, not, implies, iff; atomic vs compound statements1.5–3 h
2. Truth Tablesconstructing tables, logical equivalence, tautology and contradiction1.5–3 h
3. Logical Equivalences & LawsDe Morgan, distributive, implication rewrite, negation of implication1.5–3 h

Predicate Logic

1. Quantifiersuniversal and existential, nested quantifiers, domain of discourse1.5–3 h
2. Translation & Negation of Quantified Statementsorder of quantifiers, vacuous truth1.5–3 h

Rules of Inference

1. Inference Rulesmodus ponens, modus tollens, hypothetical syllogism, reductio ad absurdum1.5–3 h
2. Valid Arguments & Fallaciesproving validity, common formal fallacies1.5–3 h
3. Introduction to Formal Systemsaxioms, rules, consistency and completeness concepts1.5–3 h