This course is an introduction to formal logic. There is no
prerequisite. The course consists of three parts: 1. Basic concepts
like arguments, validity, etc. 2. Propositional logic and its
natural deduction. 3. Categorical propositions, Venn diagrams and a
brief look at predicate logic.

Logic deals with arguments and reasoning. So, it is important for
all sorts of academic disciplines and human reasoning in general.
You will certainly not regret taking an elementary logic course at
the university. However, note that it involves a lot of
symbolization. Very often you will be asked to symbolize sentences
in the ordinary language and derive conclusions from premises in
formal language.

There will be weekly assignments, two midterm exams, and one final
exam. The textbook comes with a CD-ROM that serves well as a tutor.
Attendance is not required but it is always the students'
responsibility to keep pace with the class.