PHI 250 — Symbolic Logic
Introduces students to the methods of formal deductive logic with emphasis upon applications to mathematics, computer science, and/or legal reasoning. Covers the language and rules of formal logic as well as techniques of formal proof. Lecture: 3.0 credits (45 contact hours).