ABSTRACT

A quantifier which is immediately preceded by a negation sign will be called a negative quantifier; one which is not, an affirmative quantifier. An expression which consists solely of quantifiers and negation signs we shall call a sequence of quantifiers. Within a sequence, any two consecutive quantifiers which are not separated by a negation sign will be said to be adjacent; and if no negation sign occurs between the first and the last of any number of consecutive quantifiers, these will be said to form an adjacent group.