This course is an introduction to logic study. The main purpose is to provide students formal methods of arguments and reasoning. The course will start from presenting valid statements and arguments. Then the attention will be put on sentential logic. And finally we will focus on predicate logic. Students will have lots of practice on translation from arguments into symbolic logic and evaluate the truth. The methods you will learn is a powerful tool for your future study.