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

Objectives and Contents
Objectives: This course aims to provide the students with a general understanding of the symbolic/modern logic developed in the 20th century and to inspect the propositions within the rules of truth function and quantization logic.
Content: Contents of the course include; establishment of propositions calculus, logical invariants, truth function tables, symbolic language, the logic of accuracy function, the rules of the analytical table, inspection with analytical table, the logic of quantization - the basic definitions and rules, the calculation of the value of accuracy in the logic of quantization, inspection with analytical table in the logic of quantization, the inspection, consistency, validity, equivalence, symbolization and inspection issues.