Course Overview

This is basically a course on Propositional Logic. Perhaps such a course is obviously useful to Computation students but it is also useful for Mathematics students to learn about logic. Mathematical proofs are exercises in logic, but complicated by the mathematics! Propositional Logic removes the Mathematics, leaving the logical structure of the proofs.

• General topics in Logic including Propositions, truth tables, Boolean laws of Propositional Logic, logical arguments and deductive proof.
• General topics in Set Theory including notations, predicates, belonging, equality and the Boolean laws for sets.
• Further topics in Logic including quantifiers and predicate logic.
• Further topics in sets including Cartesian products and cardinality.