| Language of Instruction |
İngilizce |
| Course Type |
Elective Courses |
| Course Instructor(s) |
DOÇ. DR. İSKENDER TAŞDELEN |
| Mode of Delivery |
The mode of delivery for this course is face to face. |
| Prerequisites |
There is no prerequisite or co-requisite for this course. |
| Courses Recomended |
None |
| Recommended Reading List |
Grünberg, T. Modern Logic, METU Press, 2002 |
| Assessment methods and criteria |
Midterm (@) Final (`) |
| Work Placement |
N/A |
| Catalog Content |
Definitions of Proposition and Inference; Validity; The Language of Propositional Logic; Propositional Connectives; Truth Functions and Truth Tables; Consistency; Validity; Equivalent Propositions; Symbolization and Translation into Natural Language; Substitution; The Method of Natural Deduction; Fallacies; Abridged Derivations; Truth-Value Analysis; Quine's Method; Normal Forms. Limitations of Propositional Logic; Quantifiers; Variables; Predicates and Names; The Language of Quantification Logic; Definition of Free and Bound Variables; Substitution; Symbolization and Translation into Natural Language; Extension of the Method of Natural Derivation to Quantification. |
Anadolu Info Package 
Turkish 
English