Quantificational logic

Home > Philosophy > Logic > Predicate Logic > Quantificational logic

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