This is a course on quantificational predicate logic. This twentieth century advancement unifies the methods presented in Logic I into a single system of greater power. The course focuses on techniques of symbolization and derivation and includes proving some meta-theoretical facts about logical systems in general.