Deals with the quantification of variables, and introduces symbols like "for all" (∀) and "there exists" (∃).