Logic is the study of "good" reasoning. We all have some basic intuitions about what counts as "good" or "acceptable" reasoning, but those intuitions fail most of the time, especially in cases where reasoning is more complex. Logic is the discipline that formalizes those intuitions so that the failure of distinguishing "good" reasoning from "bad" reasoning is minimized. In this course, we will study one of the two main types of logic, i.e. deductive logic (the other being inductive logic). The topics  that will be covered are validity, soundness, truth-table methods, natural deduction proof techniques and some metatheorems. The course will be useful for any student who aims to improve his/her analytical thinking skills.