Philosophy | Introductory symbolic logic
P250 | 22167 | Savion

In this course, the student is introduced to basic notions of
reasoning and to two symbolic languages: Proposition Calculus and
Predicate Logic.  The aim of this course is to help students develop
skills in translating sentences from English to logic languages and
in evaluating arguments rigorous;y as valid or invalid.

This course has no pre-requisites, but it covers twice the material
covered in P150.  Fina; grade is based on homework assignments, 2
quizzes, group work, and a final exam.