The aim of this course is to provide students with a working knowledge of modern logic through an examination of three increasingly powerful methods of representing the logical structure of ordinary language arguments. Emphasis on developing strategies for proving validity and invalidity.