Oct 29, 2020  
2012-2013 Catalog 
2012-2013 Catalog ARCHIVED CATALOG: Content may no longer be accurate.

PHIL 2200 QL - Deductive Logic


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 .