>> So welcome to this screencast on quantified statements. So this is a concept that goes back to an earlier concept we saw in the last section of an open sentence. There's a definition we saw. Basically an open sentence is a sentence that is an either English statement or a math expression or a hybrid of those two things. That's almost a statement in the logical sense that has a definite truth value. Except in open sentence has a variable involved with it. And so we can't tell the truth value of that sentence without knowing a little bit more about the variable. Here are three examples of open sentences. In each of these cases there are variables present whether it's K or X or even two variables X and Y. And each of the sentences would have a truth value if we knew something about the variable. For example, let's say the integer K is even. Is that statement true or false? Well we don't know Because we don't know what K is. Is the statement X plus Y equal 2 false or true? We don't know. I mean for this statement -- this sentence is sometimes true for certain values of X and Y like 1 and 1 or a 5 and negative 3 but not for all values necessarily. Even the sentence X squared bigger than or equal to zero is that true or false? Well we can't really say until we say more about what the X is. Is X a real number? Is X an imaginary number? Is it an integer? We don't know. We can't tell the truth value of these sentences without knowing a bit more about the variables. Now if we assume just for the moment that the universal set is the set of all real numbers, we can say something about this sentence right here. If X belongs to the real numbers, then we somehow know that through our basic arithmetic that this statement is really a statement. And it is actually true for every real number X. So we can say something about how often the sentence is true. And we can say something about how often these two sentences are true. And that's kind of the gist of the screencast. Given an open sentence, how often is that sentence true? So we are going to open this up with a concept check actually. Let's lock down the universal set to be the set of real numbers and look at the open sentence X squared minus 1 equals zero. Now how often is that true? Is it always true, sometimes true, or never true? And the answer here is of course going to be sometimes but not always, right. Sometimes because there do exist X values that make this sentence true. For example X equals 1 makes this statement true, and X equals minus 1 makes this statement true, but not always, right. We are pretty well aware that for example if X equals 2, you know, this sentence does not really -- it's a statement but it's false, okay. 2 squared minus 1 is not equal to zero. Now let's do a another little concept check here. Same kind of question here, but different open sentence. So look at the open sentence X squared plus 1 is bigger than zero. And, again, the universal set we will just consider X to belong to the real numbers. Now is this sentence true always, sometimes, or never? In this case the answer is always, okay. When you take a real number, okay -- the universal set really matters here -- we take a real number X squared by itself is bigger than or equal to zero. If we add one to it, that makes that inequality strict. So this is statement that's always true. It is true for all real numbers X. So in both of these concept checks, we introduced open sentences and asked how often is that open sentence true. And sometimes the question is sometimes. Sometimes the question is always. In future screencasts we are going to take the situation of what happens if a statement is never true, what can we say about that? So let's pull out the main concept here. Take a look at the first open sentence from the concept check that said X squared minus 1 equals zero. Now that is not a statement as is. We don't know enough about the variable to say whether this is true or false. We can't determine the truth because we don't know for which values of X this is supposed to be true or false. For all of them, for some of them? We don't know. We don't even know what X is. However if we add this little bit of verbiage onto the front end of that sentence, for some X in the real numbers -- remember the symbol right here means is an element of. So for some X in the set of real numbers, X squared minus 1 equals zero, then that is a statement. In fact it's a true statement. What we've done here is we have quantified the variable. I have said how often should this open sentence be true. We said for some X in the real numbers, sometimes. At least one X in the real numbers this is a true statement. We have quantified the variable. And so we have turned an open sentence into a legitimate logical statement whose truth value we can apprehend. In shorthand we are going to write that phrase for some X and R with a special symbol. This little backwards E right here which you should read "there exists, there exists." Okay. So the way you would read this of in English is to say there exists an X in the real numbers such that X squared minus 1 equals zero. And that happens to be a statement, happens to be a true statement. The way that we have quantified this is the say that there exists an X in the real numbers that makes this equation work and so we are going to call this an existential quantifier, existential quantifier. Okay. That's what this is. We are saying that given this open sentence, it is not really a statement because we can't tell the truth value. If I quantified this existentially by saying there exists an X, at least one X, possibly millions of them, but at least one X in the real numbers, that makes this equation true. What we have done is we have quantified the variable and turned an open sentence into a statement whose truth value we can determine. Now on the other hand take a look at the open sentence from the second concept check. X squared plus 1 greater than zero. And again the universal set we fixed down to be the real numbers. So that's not a statement either, although we feel like it ought to be true, we still need to say something about that variable. How often should this be true? If I add this verbiage onto the front end of that open sentence and say for all X in the real numbers not just there exists an X in the real numbers, but for all X in the real numbers, X squared plus 1 is better than zero. That's a statement for sure. And, again, we have quantified the variable. But we have quantified it in a slightly different way. Well maybe not slightly different way, possibly radically different way. What we've done is say this open sentence is true, always. Okay and that is much stronger than saying that it's true sometimes. So we've quantified this variable. And when we say for all X in the real numbers, we quantify an open statement by saying the statement is true always, then we are going to use a special symbol for it too, kind of an upside down a which you should read "for all," okay. So the way this shorthand would read in English is to say for all X or for every X in the real numbers, X squared plus 1 is bigger than zero. So once again we've quantified the variable in an open sentence thereby making it is statement. That statement happens to be true this time and since we have quantified this for all X, we are going to call that a universal quantifier. So an existential quantifier is where we slap a quantification onto an open sentence to say that the open sentence is true for some values of X, at least one value X. A universal quantifier is where we do the same thing, we specify how often the sentence is true. But we specify that it is true for all X that belong to the universal set. So let's do a couple more examples, four more examples actually. Here are four quantified statements. If you just looked at this second set of parentheses, those would all be open sentences to say that the square root of X belongs to the integers. We don't know. We have to say something about the variable. And so that's what the first set of parentheses is for. Those are all quantifications. Let me get rid of those two things. So which of these is true? Okay. So is it true that there exists an X in the integers now such that the square root of X is also an integer? Well that is certainly true. And how do I know it's true? Well, all I'm saying is that there exists an X whose square route is an integer. So I could pick one out. I could say what about X equals 9? Okay, that is an integer and its square root 3 is also an integer. So this quantified statement is true. Now look at the same open sentence but with a universal quantifier rather than an existential quantifier. We are going to say in this one that for all X in the integers, the square root of X is also an integer. Now that is false. How do I know it is false? Well, I am making a claim that this statement that radical X is an integer, a whole number is true for every single X that is also a whole number. And that's just simply false because, look, X equals 5. Try it. You try the square root of 5 that is not a whole number. So this statement is not true because I can find a counterexample. Moving on to this third one. Is it true that there exists an X in the integers such that X cubed is an integer? Well, that's certainly true. If all I'm claiming is that there exists such an X, I can just pick an example out. Like X equals 10, okay, X equals 10, 10 cubed is 1,000, that is an integer. Okay, fantastic, it is true. But we could actually say more. The fourth statement here says that for every X in the integers, X cubed is an integer. Now that is a strong statement but it happens to be true. Now I can't just use an example to prove that this statement is true because as we've seen before when I make a general statement about every single element in a set, I can't just pull an element out and expect it to be representative of every single element. I have to do something else. One way that you can see that this statement is true is by using the closure properties of X. So if X is an integer, then X times X is also an integer by closure and so therefore X times X times X is also an integer which is X cubed. So that would be a way to explain that no matter what integer you take, its cube is also an integer. So there's the difference between existentially quantified statements and universally quantified statements and just a beginning of a taste on how to determine whether such things are true or false.