A sentence or many sentences containing a variable (such as x) can be made into true or false propositions simply by using a quantifier. The quantifier actually assigns a truth value to the sentence, depending on the set of values allowed for that variable. There are two major quantifiers: the existential and universal quantifiers, which are represented by the logical operator symbols of and , respectively, although there are more exotic types of logic that use different quantifiers.