This is a first course in formal logic. Formal logic has had a tremendous success and influence since it was developed in its present form. It is the inspiration for many artificial languages, including programming languages, and it has been successfully used in mathematics. Formal logic is also very important in the study of natural languages and in the analysis of valid or invalid forms of argument and reasoning. We will cover a fairly substantial introduction to these issues.