Elementary symbolic logic beginning with propositional calculus and first order predicate logic, and their applications.
