PHIL R112 — Symbolic Logic
This course provides an introduction to the concepts and methods of modern symbolic logic. Emphasis is placed on problems of translating English expressions into logical symbols and on the development of skills in using the formal proof procedures of sentential and predicate logic.