Philosophy Quantitative Literacy Course
PHIL 2200
Deductive Logic (3)
An introduction to the concepts and methods of modern symbolic logic. Emphasis is placed on problems of translating English expressions into logical symbols, on the development of skills in using the formal proof procedures of sentential and predicate logic, and development of the predicate calculus. Prerequisites: Math ND0955, Math ND0960, or placement test eligible for Math 1010.
For more information please see PHIL 2200 Fulfilling Quantitative Literacy.