PHIL 2200 QL - 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. Prerequisite: MATH 0990 or placement test eligible for MATH 1010.