A comprehensive introduction to predicate logic for undergraduate students, moving from basic atomic structures to complex relational propositions with multiple quantifiers. Students learn to map the internal architecture of language to rigorous logical symbols.