The purpose of this course is to provide students with knowledge and understanding of the basic concepts of modern deductive logic, both in syntax and semantics. We start with sentential logic and discuss methods of constructing truth tables, truth trees, and derivations (for both the systems of SD and SD+). We then turn to predicate logic and consider certain differences and similarities between sentential and predicate logic and adjust the methods of truth trees and derivations to predicate logic.