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) |
| Modern mantıkta sembolik dilin önemini ve gerekliliğini açıklar. |
| Doğruluk fonksiyonu mantığında önermeleri ve çıkarımları ifade eder ve çözüm çizelgesi kurarak bunların tutarlılığını, geçerliliğini, eşdeğerliliğini analiz eder. |
| Modern mantıkla sembolik mantık arasındaki farkı ayırt eder. |
| Niceleme mantığında önermelerin ve çıkarımların geçerliliğini denetler. |