Exploring the intersection of legal analysis and symbolic logic, this solidly written book explains the elements of contemporary symbolic logic and examines the ways in which this powerful tool illuminates the structure of legal reasoning and clarifies various legal problems. Presenting concepts and techniques in a clear and orderly manner, it illustrates discussions with practical examples, legal cases and problems, and integrates numerous exercises to help students check their mastery of the material.