PHIL103 INTRODUCTION TO SYMBOLIC LOGIC

Course Code:2410103
METU Credit (Theoretical-Laboratory hours/week):4 (4.00 - 0.00)
ECTS Credit:6.0
Department:Philosophy
Language of Instruction:English
Level of Study:Undergraduate
Course Coordinator:Assoc.Prof.Dr. AZİZ FEVZİ ZAMBAK
Offered Semester:Fall Semesters.

Course Objectives


Course Content

Sentential and quantificational logic. Symbolization and tableau method of proof. Modalities.


Course Learning Outcomes