PHIL 2200 - Deductive Logic

Credits: (3)
Typically taught:
Fall [Full Sem]

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.