Pregroup Grammar is a type logical grammar formalism derived from Categorial Grammar. Unlike most formalisms, however, it has a radically flattened conception of sentence structure, making it interesting to syntacticians interested in the nature of structure dependence and other related aspects of UG. This tutorial will introduce the Pregroup Grammar formalism, as well as its two standard semantic theories, the "syntactic" lambda-calculus-like semantics and the "quantum-mechanical" tensor algebra semantic.