Recall that when we first introduced statements, we said that a sentence such as
“\(x+1=0\)”
Was NOT a statement. The reason this is not a statement is because statements must evaluate to either true or false, without ambiguity. The truth value of this statement above depends on what \(x\) is. So naturally, if someone just handed you this statement and asserted “this is true,” you might ask something like “True… for some specific \(x\) value? True for every \(x\)-value? What do you mean?” We clear up ambiguities such as these using quantifiers, which add a bit more specificity to the variables in a given sentence.