This course is an introduction to symbolic logic. You will learn two logics and associated proof systems, using them to define and then test for the presence of some important logical relations. You will also learn how to determine whether the proof systems are adequate. In the process, you will acquire some tools for representing and assessing bits of reasoning and, more broadly, for understanding the expressive power of language and thought.