Academic Catalog

PHIL103 INTRODUCTION TO SYMBOLIC LOGIC

Course Code: 2410103
METU Credit (Theoretical-Laboratory hours/week): 4(4-0)
ECTS Credit: 8.0
Department: Philosophy
Language of Instruction: English
Level of Study: Undergraduate
Course Coordinator: Res.Dr. SELMA AYDIN BAYRAM
Offered Semester: Fall Semesters.

Course Content

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