Units:3 Three hours lecture per week Introduction to modern deductive logic. Critical thinking and abstract approaches to common language. Includes abstract sets and number sets, relations, prepositional logic, common language cases, and theory of quantification. GenEd:A3, B3