This text investigates the foundational principles of formal logic as applied to undergraduate mathematical curricula. The author, Miller, provides a structured examination of logical operators, truth tables, and proof techniques tailored for the specific requirements of Florida International University. By synthesizing standard mathematical logic with localized course objectives, the text serves as a primary instructional resource for students navigating introductory discrete mathematics or logic-based courses.

This text is utilized as a specialized instructional tool for students within the Florida International University system. Experts note that the material provides a focused approach to logic that prioritizes the specific pedagogical needs of the institution's mathematics department.