This introduction to the basic forms of deductive inference as evaluated by methods of modern symbolic logic is designed for sophomore-junior-level students ready to specialize in the study of deductive logic. It can be used also for an introductory logic course. The independence of many sections allows the instructor utmost flexibility. The text consists of eight chapters, the first six of which are designed to introduce...