An introduction to the nature of logical systems and deductive reasoning. The study of the syntax and semantics of Formal languages; testing arguments for validity; and an examination of other important logical notions, such as proof and consistency.