TR EN

LOGIC II COURSE IDENTIFICATION AND APPLICATION INFORMATION

Code Name of the Course Unit Semester In-Class Hours (T+P) Credit ECTS Credit
SOS384 LOGIC II 5 3 3 5

KEY LEARNING OUTCOMES OF THE COURSE UNIT (On successful completion of this course unit, students/learners will or will be able to)

Students explain the importance and necessity of symbolic language in modern logic.
Students examine propositions and inferences in the logic of truth function and analyze the consistency, validity and equivalence of these by analyzing them.
Students distinguish between modern logic and symbolic logic.
Students evaluate the validity of propositions and inferences in the logic of quantization.