This course offered students an introduction to formal deductive logic that covers syntax, semantics and natural deduction for propositional and predicate logics, with an emphasis on translations and derivations.