To put it simply (and, perhaps, badly), symbolic logic is the formal
study of human reasoning and argumentation.  In this course, we will
examine two common logical systems: the propositional and predicate
calculi.  We will learn to translate English statements into the the
languages of these systems and to evaluate the validity of
derivations within them.

Although P250 covers substantially more material than is typically
encountered in P150, this course has no prerequisites