This text is designed for those instructors who desire a comprehensive introduction to formal logic that is both rigorous and …