Philosophy | Introductory symbolic logic
P250 | 4583 | Rinella

The goal of tjis course is to familiarize the student with methods
of formal reasoning using propositional and predicate logic.  We
will ise modern computer programs, integrated with the text and
designed for this purpose, as an aid.  Students progressing in
philosophy, mathematics, computer science, informatics, electrical
engineering, or preparing for the Law School Admissions Test will
find the course particularly helpful, but everyone with an interest
in reasoning well will benefit.