A Tiny Bit of Informal Logic

Although we have already used quantifiers, \(\exists \) and \(\forall \) , we did so mostly viewing them as symbolic abbreviations of English texts about mathematics. In this chapter we will expand our techniques in logic, extending them to include the manipulation of quantifiers, such as formal —i.e., syntax-based— techniques towards adding \(\forall , \exists \) to the left of a formula, and also removing them when they are prefixes.