0:00

Here were my answers to assignment five, starting with question one.

The equation x cubed equals 27 has a natural number solution.

I got there is an x in the natural numbers such that x cubed equals 27.

For part b, a million is not the largest natural number What I said was there is

an x in n, there is a natural number x which is bigger than a million.

Part c, the natural number n is not prime, there is a natural number p and

there's a natural number q So it's that p is bigger than one, and q is bigger than

one, and n equals pq. So there are natural numbers pq, both of

them bigger than one, such that n is the product of p and q.

Notice that conjunction splits things in this way.

There's a natural order of precedence for the various relationships.

First of all, a relationship like equals, greater than, less than comes in, then

you conjoin things and disjoin them and do various other things.

And then next in line of precedence is actually conditional and biconditional,

and you read these formulas left to right.

There's a p in q, there's a q there's there's a p in n, there's a q in n, so

it's that p bigger than one and q bigger than one and n equals pq, so you read it

left right. This is why we made a big deal about that

the American Melanoma Foundation. Because in mathematics, you really have

to read things left to right, and the left to right ordering dictates the

logic. Okay?

Well, let's go on to question 2 now. Express the following goes for all the

sessions using symbols and words. Okay.

So the equation x q equals 28 does not have a natural number solution.

Or the most obvious way of expressing it using quantifier in, in, simple formulate

way. It's to say it is not the case that there

is a natural number x which satisfies the equation.

Whereas to give in terms for all assertions so this basically means

putting this in, in the sort of canonical form or positive form.

And to say it's not the case of existing x in N.

Is to say for all x in n, it's not the case that x cubed equals 28, which I'll

write in the familiar fashion x cubed is not equal to 28, okay?

I've could of written it. I've could of written the last part as

being not the case at x cube equals 28. Okay I could have done it that way.

They're both fine. Okay.

So now we've specified that there's no no natural number solution.

another way of saying it is every natural number fails to be a solution.

Okay, number, part b, zero is less than every natural number.

Let me just stress that the natural numbers do not include 0, they begin 1,

2, 3, et cetera. Historically zero was an unnatural

number, in fact originally zero wasn't a number it was just a, a zero symbol was a

circle that denoted there was nothing there, and you needed to denote that

there was nothing there when you had place value arithmetic.

So this came much later Roma Gupta in India 600 and something[UNKNOWN] was the

one who sort of came up with that. okay, I mean she was the one who wrote

about it and is today credited to have been to one that really sort of nailed

it. Okay, so zero is less than every natural

number so this is actually true. This is a true statement and here's a way

to capture it for all natural numbers x. Zero is less than x.

I could of written this as x greater than zero.

Alright which ever way I write it doesn't matter.

but I've written it. Since its expressed in terms of less than

I can use the formula for less than but I mean that still says the same thing.

okay, so I think there's anything more to say about that.

the natural number n is prime. This is really the negation of the

previous one of part c of question one where we looked at the formula that

captures the natural number n is not prime.

And so we're essentially going to negate that.

you can go back to the previous one and put a negation sign in the front and then

let the, let the negation ripple through as you sort of work your way in which

towards a positive statement. But let's just sort of jump straight in

and, and say it directly. To say that the natural number n is, is a

prime in terms of universal quantifiers. What you are going to say is if all

possible numbers that would divide into it, they can't on necessary equal to one

of the number itself okay, so here's a way of saying it whenever you try to

factor it so for all possible factors into two.

If you have a factor, if you have a factorization then one of the numbers is

wrong, and the other one is N. So for all possible ways of factoring the

number N, necessarily one of the factors is equal to one, for all Possible

factors, one of them has to be equal to 1.

Okay, that's it. So, those are the three answers that I

got for number 2. Question three, everybody loves somebody.

here's how I interpreted that. For all people x, for all persons x,

there is a person y. So it's just x loves y.

For every person, there is a person they love.

The person they love, will depend on the person you start with.

The y will be different perhaps, from one x to the next x.

Give me an x I'll find a y. Give me a pairs in x.

I can find a pairs in y. So should x loves y.

Different people again not a medical melanoma foundation example.

Which of course its not a problem in real life because everybody interprets the

right way. In fact some of the people in the forum.

In the forum discussion there was, there was quite a few people.

Who said they couldn't see the problem with the the little statement.

Okay this is why we're making a big deal of this because to get to the point where

you can understand how the ordering of quantifiers can be important, you have to

be able to see what was going on with that kind of example.

Okay, let's move on to part b. Everyone is tall or short.

What that says is for every person x, either x is tall or x is short.

Everybody is one or the other. actually this, the way this works this is

the inclusive or, but of course, the, the properties themselves will, will, will

make this a disjoint, this disjoint on. You, you want to have someone that is

both tall and short although in real life tall and short will have an overlap you

know there comes a point where is someone taller?

Is someone short? So the interpreting theses is is really a

matter of interpretation I mean the height, this is a fairly clear answer.

But when you try to map the ambiguous fuzzy real world into the precision of

mathematics there's some trade offs. That's the whole point.

The point is things like this are very ambiguous when this tall turns into

short. By writing something like this, we've

changed, we've taken something that's ambiguous and fuzzy and we've forced it

to be precise. And that's the whole point of what we're

trying to do. To get precision.

To get rid of the ambiguity and the fuzziness.

Doesn't mean to say that's gone from the real world, but it's gone from our

interpretation of the real world. So this is an interpretation within

mathematics if you like. With it's precision of something in the

real world, which is not precise. Okay, part c.

Everyone is tall or everyone is short, that actually comes out a different way.

That says every person x is tall, that's one part.

And the second part, everybody x is short.

And here we've got another of these precedence rules for logic in that

universal and quantifiers or the same as two existential quantifier we'll see.

These are very tight, they, they bind whatever comes in the the, comes next.

Which means you have to use parentheses if you want to use a quantifier that

binds everything like we did here. So to make this bind these two.

By the way, I'm talking about things like for all x binds, the thing that comes

next, the thing that's in the parentheses.

We use the word binds for quantifies. That means it governs that.

It, it's, it, it restricts the xs in there.

And the, this, the, the formal terminology of that is binds.

And so, in, in the binding rules quantifies bind everything that comes

next to them, and if you want them to bind a disjunction, you have to put them

in parentheses. So that has to become a unit to be bound

by through all, same would be true for exists.

In this case, you don't need the parentheses because all you've got is one

predicate here tall x, so you've got here for all x tall x or for all x short x you

might ask yourselves do you need there parentheses here, and the answer to you

in no, I've put them in to be clear. the, generally the rule for parentheses

is you put parentheses in when you need them to disambiguate, but because this is

the first time we're running through these, I mean x with parentheses.

the goal in all cases is avoid, avoid ambiguity, and if you if you haven't got

something ambiguous, you don't need the parentheses.

Alright? So notice that these are different,

though. this is talking about add everybody is

tall or everybody is short. This is highly unlikely to be to be true.

Except in a very strange sort of a society.

this one is certainly true if we're prepared to say whether where the tall

and short changes at sort of, I don't know five feet or whatever you want to

do, okay? Okay, let's move on.

That's enough for that one. Well for nobody at home I took it as a,

as a, as a sort of a universal quantification, if you like.

I took, I read this as for every person x, x is not at home.

you might have gone a different way, you might have said, it's not the case that

division x choose at home x, okay? That would be fine.

you may think that, you might think that this is actually a closer rendering of

this one. it depends whether you regard that as

some kind of universal quantifier or not. you know, so I'm interpreting that as

saying something about a sort of, a negative universal quantifier almost.

I'm saying that this for all x, it's not the case the x at all.

But you could equally well argue, I think, to say that that the most natural

one is to say there is no person who's at home.

Okay? in an, in natural language is that a sort

of a universal quantification, or is this an existent, a sort of a negation of an

existential quantification? depends how you interpret it, but both of

them are correct. These are equivalent.

As we've seen, these are equivalent assertions so it's just a matter of

choice as to which we think more accurately reflects the nuances of of

English language. Alrighty, part e.

If John comes, all the women will leave. If John comes then, so this is I think

very clearly an if statement, and then there's a conclusion, so this is the

antecedent, and then we've got a consequence.

So John comes, then it's the case that all the women will leave.

For any x, and our variable x, it ranges over people So I have to say for every x.

If x is a woman then x leaves. So that's our way of saying all women

leave. For all x if x is and I've put brackets

here. Because I want to make sure that the

universal quantifier applies to this. It's the same x, that if x is a woman,

then x leaves. All right.

Number f, part f, if a man comes, all the woman, all the women will leave.

In this case, it's not a single person John, it's any old man, so we'll have to

say, if there is an x, so here's the if part.

If there is an x, who is a man, and who comes, then we got the consequence that

every women leaves. This is the same as the previous thing.

So, this still says every woman leaves, but instead of saying John comes, I’m

saying there is an x who is a man and who comes.

Well, notice that number 4 isn’t about whether these things are true or false.

It’s simply about expressing them in, in a formal fashion.

in this case, using the quantifiers that range over the set of reels and the

natural numbers. This actually is a very common situation

when you're looking at real analysis, the theory behind the Calculus.

You have quantifiers that range over the real numbers.

and either the natural numbers or the integers.

the positive and negative numbers. The whole numbers.

so it's, but it's very common to have this kind of scenario.

Okay the equation x squared plus a equals 0 has a real root for any number a, for

any real number a. So here's how I, how I wrote it.

For all real numbers a there's a real number x which satisfies the equation.

Notice that here the quantifier Over a comes first, here it came at the end of

the sentence now this is because this is a very natural way of writing it in

English. When we said we have to be careful we

don't make that[INAUDIBLE] foundation mistake of getting quantifiers in wrong

order. In English, it's fine, because we, we

know how to read these things. In mathematics, it's crucial, absolutely

crucial, that the first thing that comes here is that for all a.

If the, if this guy comes first it's going to be wrong.

It's not going to capture it. So, when we take a sentence in English,

even when, if the quantifier comes at the end and here the quantifier.

For any real number a, this is a universal quantifier.

Even though that comes at the end of the sentence, which is fine in English,

wasn't fine for the American Melanoma Found, actually it was because everyone

reads that Melanoma example correctly, but it it, it causes it causes

mathematicans some amusement every time. But in this case, the order is absolutely

crucial And here's why. Because the x that we get depends on the

a. Okay?

In fact, for some a's, you're not going to get an x as we know.

I mean, this is only true if a is negative.

And we'll look at that case in a minute. So this isn't even true for all a's.

But even if you take the negative a's, the x that solves it depends on the a.

So you have to have an a before you can find the x.

One way of reading this is to say, if you give me any a, I will find an x that

solves the equation. You give me an a, I'll find an x,

depending on the a, that solves the equation.

Alrighty? Quantify order is crucial in this kind of

expression. part b actually brings it to the previous

one, but except we're really talking about for any negative real number, and

this is actually going to be true. So there's a quantifier for any real For

any negative real number and we're going to capture that as follows, we're

going to say because we don't have a set of negative real numbers, we've got the

set of real numbers so we have to say for all real numbers a, if it's the case that

a is negative then, so there's an if there.

And here's a then. Then it follows that there is an x that

satisfies the equation. So let me read that once more, one more

time. For any real number a, if it happens that

a is negative, then there is an x which solves the equation.

Or, in terms of you giving me a number, and me finding an answer, if you give me

an a Then providing the a that you give me as negative I can find an x such as

pass the equation but again notice what's here the x depends on the a.

You give me a different a few minutes later I can still find an x providing the

a as negative. But it'll be a different x.

This is why the order is important, the a has to come first, because the x depends

on the a. Now that's actually to here as well, but

English allows you to say them in the opposite order and still mean the same

thing, that's because English is a rich, natural language.

Mathematics is a precise formal language, which exists kind of formulaic

mathematics. This is very precise and formal and it

has to be for doing particular things in mathematics.

I mean, most mathematicians most of the time don't write things formally this

way. They use English.

They write things like this. This kind of expression is important in

certain crucial stages of mathematics. It' not that mathematicians argue using

precise language all the time, they don't.

They aren't using everyday language, but when it counts, they pull this kind of a

thing out because it's crucial the last topic.

And in fact, the very last week of the, of the lectures, we gave, when we look at

the last the last topic. We're going to make some very, some

historically, and actually contemporary important we're going to look at

something very crucial to mathematics which developed in the late 19th, early

20th century, middle 19th century. Where it was actually crucial in order to

advance in mathematics to make one or two key definitions with this kind of

decision. Okay.

Now issue of convergence, the sequences and the continuity of functions.

Okay, part c, every real number is rational, so, every real number x.

What are we trying to say? We're trying to say, for every, this is

got it's false, right? That's this again another example, I've

been looking at. This isn't about whether things are true

or false. I mean this one is false.

This one I like it's true. This one is false.

let me just mention these things, this one is at false.

This one's true, this one's false. Literally, this isn't what we're asked to

do, we're just, we're just looking at expressing things.

The point is, you can express things in mathematics precisely whether they're

true or false. And sometimes you have to express them

formally in order to determine whether they're true or false.

But it's a separate issue. True or falsisy, truth or falsity is a

sepaprate issue from whether you can express it formally.

Okay. Every real number is rational.

That really says that you look at any real number x, so this is the every real

number part. What you want to say is that real number

x can be expressed as a quotient of two integers.

So you would probably say m over n equals x.

Or, well, these are positive numbers. The x could be negative.

So, we've got to allow for the fact, minus m over n equals x.

So, that's to say m over n equals x, or Minus m over n equals x or the x could

even be 0. Okay, so you could have 0 equals x if

we're putting the x second. So 3 possibilities, it's equal to the

ratio of 2 natural numbers, or minus the ratio of 2 natural numbers or it's equal

to 0. Okay?

Oh, incidentally, I wrote it this way just because it's sort of neater.

I mean, the aesthetic the, I've been in mathematics a long time, and you develop

an aesthetic sense. And the sense I developed was it, it's

cleaner to just write it this way in part because, when we're talking about natural

numbers, in the natural numbers you have two operations essentially.

You've got plus and you've got times. You don't have negation and you, not

always, I mean you can sometimes subtract but one number has to be bigger than the

other. And you don't always have division.

You have a property of divisibility but you don't have division.

So, when you're dealing with just natural numbers all you can do is add them or

multiply them. Now here we've got real numbers flow,

thrown in as well. So there's nothing wrong with writing it

this way, but because m and n typically when they're on their own don't involve

division I just thought it was sort of nice and elegant, to avoid writing m over

n. Okay, because this actually take you out

of the, of the integers out of the natural numbers.

Then I mean this is, this is just a, this is just a setting.

This is not question of right or wrong its just a matter of a settings.

If you do it in this way that's absolutely fine, okay.

There was[INAUDIBLE] notice that the m and the N exist, depend on the x.

You give me an x, I will find an m and an n which satisfy that.

Or at least I would if that happened to be true.

It's not so I can't always find them. But the order of the quantifiers is

crucial here as well. If you get the order sum in the m and the

n it doesn't matter with those two. This is symmetrical.

But if that guy comes in here somewhere then it's not going to capture it.

Okay, well part d is just a, sort of like a negation of part c if you'd like.

Okay, and here's how I wrote it. There is an irrational number, so there

is a number with the following property. That for all pairs of natural numbers m

and n, m divided by n is not equal to x and negative m divides n is not equal to

x. Okay as before I have to look up both

possibilities, to allow for negative numbers.

Previously we had this junction here because we were talking about a positive

thing. And I really just negated what came

before. Notice that I'm not putting brackets

around this whole thing because I don't need them.

Because when you read left to right. There's only one way to read this because

of, of the, of, of the parenthesis I've got in.

There is an x in R. This is going to be the irrational number

we're asserting to exist. With the property that for all m in N and

for all n in N, Now I've got brackets in because this part Has to be bought

together. M is not equal to nx nor is m equal to

negative nx. M divided by n is not equal to x, nor is

minus m divided by n, equal to x, okay? So I suggest you compare this one with

part c that we just did to see how I've, I've just taken my answer to part c,

taken my negation, and made it an existing statement.

Part e well I mentioned when I formulated the question that this one looks quite

complicated, it does. I wish you could do, you do either one R

here. There are two ways of I, I entered these

two ways one of said well hm, what I could say is it, for all real numbers R,

for all real numbers y. There's a real number that's bigger than

y, which is not rational. So, given a real number, I can find a

bigger real number. So, given a real number You can find a

bigger real number which is not equal to the quotient of two integers m and n.

Notice that I didn't bother with the, the negative part here, because I'm going

bigger and bigger. And if you're trying to say that there's

no allowed irrational number you're really going, you, you're in the positive

range. You, you're going up into the positive

range. So what happens in the, to the left of

zero, on the, on the real line is irrelevant.

So, I don't need the negative part because I'm talking about there being no

largest one. But I'm saying that for given, given any

real number There's a number bigger than that.

Which is not the quotient of two integers.

And again because I'm now restricting myself to a natural numbers.

I think its cleaner to write it in this way.

But you don't have to because we have globally we're talking about real

numbers. In which means that we could in fact

here. Just write m over n not equal to x that

would be fine. It was fine before I'm just trying to

draw the, draw attention to the point that the natural numbers themselves only

have addition and multiplication, but we are after all talking about real numbers,

so, so there's no problem writing it this way.

wasn't a problem in the previous questions either.

Okay. You could, however, say that this is

really a statement about just the irrational numbers.

Given any irrational number, there's an even bigger irrational number.

Then it gets extremely complicated because you have to say, given any real

number r If that number is irrational then, there's an even bigger number

that's irrational. So the difference is, in this one, I've

simply said given any real number, there's a bigger number that's irrational

In the second I have said given any irrational number there is a bigger

number that's irrational now arguably the second one is a much closer

interpretation of what this means because you could say what this is really seen

is. It’s making a statement about

irrationals. So, you’re really only going to mention

irrationals. And that’s the second version.

Given any irrational there’s a big irrational.

So, this is a closer that’s a closer answer.

The first one is equivalent to it, because c rationals and e rationals make

up the bills, there is sort of in just best and if you can find any irrational

bigger than any real number, then you can find an irrational bigger than any

irrational number, that's a. Either are correct.

It's just a matter of, of how we interpret them, and exactly how much of

this statement you are capturing in the formalism.

Once you've got something formal, it's, it's, it's not ambiguous, so long as you

expressed it correctly with the parenthesis and so forth, it' not

ambiguous. It's absolutely precise This thing has

exactly one interpretation. This thing has exactly one

interpretation. That's the whole point.

This has several interpretations. I mean, here are two different ones.

They're equivalent. They're obviously equivalent, for very

obvious reasons. But we've cashed them out in different

ways. Well question five is our old friend

about domestic cars and fallen cars so C is a set of all cars, Dx means x is

domestic, Mx means x is badly made. All domestic cars are badly made for all

cars. If that car is domestic, then it's badly

made. For all cars, if the car is domestic,

then it's badly made. I think that's a fairly straightforward

one. I I wouldn't expect you to come up with

anything significantly different from that.

In fact I wouldn't expect you to come up with anything different from that at all.

But you might of done. Okay.

All foreign cars are badly made but we don't have a predicate for foreign so we

have to take foreign as meaning not domestic.

In which case we take the previous one. And we just replace the Dx by negative Dx

and so, but not Dx, so for all x and C the effects is not domestic then it's

badly made. And here I'm making use of the fact that

negation is a very tight binding, has a very tight binding negation like

quantifies applies to whatever comes next.

So if you want to negate a whole bunch of things.

You have to sort of join them together and put parenthesis around in order to

make sure that the negation applies to the whole thing.

So negation applies to whatever comes next.

32:28

There is a domestic car that is not badly made.

There is an x which is a car, which is domestic and is not badly made.

Notice by the way that when we are capturing universal quantifiers, the

statements that involve if-then, then we have A conditional, an implication.

For all x, if the k-, if it's, well for all x that are in the cars, for all cars,

if the car is badly made, then it's domestic.

In the case of an existential quantifier, if there is a car, we're saying there is

a car which is domestic and not badly made.

So, when we have universal quantifier, we typically will compare it with a

conditional, with an implication. When we have a x as existential quantify,

we will typically compare or compare it with a conjunction in case so.

To all go with an implication, exist go with a conjunction.

At least in these kinds of cases. the,the we, the trick, it's not a trick.

The rule we have to remember is to try and understand what these things say.

so it's never a good idea to look for symbolic rules that can lead you astray

if, if the formulation is a little bit different.

There is a foreign car that's badly made. There is an x in set of cars.

Which is foreign namely nondomestic and it's badly made.

And because negation binds tightly, I didn't bother putting parenthesis around

this. If I had wanted to say not Dx and m of x

I would have put parenthesis around there but the negation just combines what comes

next to it. And what comes next to it, it's not

domestic okay, it's foreign. All right?

Well that takes care of the foreign cars, let's move on to question six.

Well question six is about the same kind of things that we've already been looking

at in some of the earlier ones, namely whether things are rational whether

they're ordered in set and where, whether they're a biggest rationals or whatever,

but we've got a different set of restrictions.

Here we're asked to, to simply use quantifiers for real numbers logical

connectives, the order relation, but we do have a symbol q of x, meaning x is

rational. So we're going to get a different

expression. So the focus in what we're trying to make

precise has been, has been put elsewhere. Okay, we're allowed to assume what it is

to be rational that's not part of what we're trying to explicate.

So in this case we don't have to talk about things being in reals on it or

whatever because that's all we've got. So I don't have to say for all x and all

y I can say for all x and y. And I've, I've, left of parenthesis,

because there's no ambiguity, that just means for all x, for all[INAUDIBLE]

whatever comes next to it, so for all x and for all y.

Now I do have brackets because there's a bunch of things going to come next, that

depend on the 4x and 4y. So for all x and y If x is less than y,

then, there's a z which is rational, and lies between x and y.

So reading left to right, for all pairs of real numbers x and y, with x less than

y, There's a z, which is rational, and lies between them.

Now I didn't write exists z in Q, I didn't write that, because the Q isn't a

set. In this case, we've got a predicate

Meaning that x is rational. Okay, so I'm distinguishing, I mean, what

I'm doing with a lot of these examples, actually is distinguishing between the

various formulaism we have to express things within mathematics.

Sometimes we use sets, sometimes we use predecates.

Sometimes we'll use quantify restrictions.

Sometimes we use predicate restrictions. They're all different ways of getting

getting formality and precision into statements.

in, in mathematics, we, we pick the one that's that's most relevant.

In fact, in most mathematics, whenever we use these formulas which is in this

detail. this is much smaller thing to, to, to, to

things we have to write down in computer signs.

Look we're actually trying to unravel or to, to learn how to unravel the formal

structures beneath the statements we make.

Okay. Well that was number six, let's press on

to number seven. Okay, and number seven is this famous

quotation which is allegedly made by Abraham Lincoln, there is some So dispute

on, on websites as to who would have said this.

But it's it's commonly and popularly described to as Abraham Lincoln.

for our purpose, for our purpose, we're not worry about who said it.

and the issue is can we can we make it precise within the mathematical language.

You may fool all of the people some of the time, you can even fool some of the

people all of the time. Where you cannot fool all of the people

all of the time. The reason I like this example is that

the quantifiers in English are used in the way we use quantifiers in English.

the quantifiers come at the end of, of the clauses.

But in mathematics we read strictly left to right and so the quantifiers have to

come first. So let's say f, x,t mean you can fool

person Woops. P that should of been a P shouldn't it.

So let me just change that now. Okay.

Alright Fpt meaning you can fool person p at time t.

Then lets do these one by one. You may fool all of the people some of

the time. That means there are some times, when you

can fool all of the people. There are some times when you can, the

point is taking this clause, the people Depend on the time, there are sometimes

when you can fool all of the people, there was sometime when you can fool all

of the people. So we have to say, there were sometimes

when you can fool all of the people. Then there's a second clause, and this is

going to be a conjunction because these are different things we're saying so

there's an and if you'd like. There's a understated and here.

You may fool all the people some of the time and you can fool some of the people

all of the time, that's the second part. So, and there are some people, and

because quantifiers are these extreme of cases, we only have there exists and for

all, at least those are the, the common ones.

And so some, in, in, in, in, in the case when we use quantifiers, some is captured

simply by there is at least one. And strictly speaking, that's really the

logical heart of some. If we say something then strictly

speaking we are saying there is at least one.

Now arguably you can say in English, when you use the word some is an implication

that there's more than one. Okay well you could follow that but it

turns out than in mathematics It's really more, more, let's just say more

efficient, to just focus down on one. So there's a, there's a, a specialization

occurs in mathematics, that when we say some things we usually mean there's at

least one. And, and we can capture that by the

quantifier exists. You can fool some of the people all of

the time. That means there are some people, there's

at least 1 person, who can be fooled all of the time.

And in this clause, see what's been captured that's important.

I mean you can argue about. you know, whether, whether some is really

well captured by exists. but, but, but really what's going on here

is that the people that fooled can change from one time to another.

Okay? No, I said, well, we won't, didn't I?

What's really going on here, is that all of the time you'll be able to, so at, for

any time you can find some people. Oh, is that what I was saying?

Let me think about it for a minute. Some of the people, all of the time.

41:21

Yep. I think that's correct.

Okay? You can fool some of the people all of

the time. So you can find some people who can be

fooled all of the time. You can find some people Who can be

fooled all of the time. Okay?

I thought for a moment that, when I worked this out a little while ago, I got

it wrong. But now I think that's exactly what it

means. There are some people who can be fooled

for all of the time. Okay?

So I'm happy with that one. I'm happy with that one.

Let's look at the last one. but, the but's that's just another

conjunction really. You can not fool all of the people all of

the time. I think this one is the one that's

easiest because there's just to all's. It's not the case that you can fool all

people all time, and for this one you could swap these around.

You could have[UNKNOWN]. And for all p.

You've got, when you've got 2 universal quantifiers or 2 existential quantifiers

it really doesn't matter which order you put them in.

But when you have for all and exists it really does matter which way you, you

write them down. So let's just recap this says there are,

there are times. When you can fool all of the people, a

lot of times, when you can fool all of the people.

This, the first clause is about fooling all the people.

And it said a lot of time, when you can do that.

The second clause is different. It says the right people.

That you can fool all of the time. It's saying there are some people, who

can always be fooled. You can fool all people some of the time,

so there are some times when you can fool all people.

And you can fool some people all of the time, there are some people, who can be

fooled all of the time. But you cannot fo, fool all of the people

all of the time. Okay?

Well I stumbled a bit here, or at least I has second thoughts for a moment, but on

reflection I decided that I got it right the first time and and I'm happy with

those 3. So, it's I hope, I hope you manage to get

something similar to that. This is tricky This is tricky no doubt

about it. That's why its a good exercise.

It's a really good exercise in understanding how mathematical formulism

capture the kind of things we will. We actually do say in the real world.

And this is a real world statements. One with some culture significance.

Okay lets move on to number eight. Okay, let's do number 8 is, is really

very similar to the American Melanoma Foundation example.

Okay, a driver is involved in an accident every 6 seconds.

Okay, so we've got x is a variable to denote a driver, t a variable for a 6

second interval. x,t means that x is an accident during

interval t. The headline is written if we simply take

a literal translation from this into the form of this, this, this language we got

here we would say there is a driver. So for all times t, A is involved in an

accident times t. You know, six second interval.

Now okay, so that's a literal interpretation.

Then we're going to rewrite it so that it's it, so that the, the English

expression really captures it in a literal way.

And then we would say, every six seconds a driver is involved in an accident.

And in that case we're saying, for every six second interval, there is a driver

involved in an accident. Notice here that the driver can change.

From one interval, to another. So driver can change from one interval to

another. For all t, there's an x, x, t These are

different. These are very, very different.

And this makes a huge difference in mathematics.

you know, as I mentioned, a lot of you had trouble really seeing there was any

problem with the American Melanoma Foundation example.

Then of course in everyday language There isn't a problem because we use our

understanding of the, of the real world in order to[INAUDIBLE] .

But when you start to make those things precise for doing mathematics, in order

to develop a language and a formalism, a way of saying things that's totally

precise and reliable, then the order in which you say things makes a big, big

difference. And that was the whole point of that

exercise and then these other ones. Its to make sure that the left right

ordering, of the various formulas captures the logical flow.

And there's a logic to this. This one says, there is a driver who's in

an accident. Every six seconds, which is nonsensical.

This one says for every six seconds, there's a driver in an accident, and when

we take the formal language, then the distinction is, is, is really, really

significant. Okey dokey, well, I, I guess we finished

exer-, we finished assignment five. Okay, quite a lot of quite a lot of

questions in there. This is not easy to master but once

you've mastered it boy you can, you can tear through mathematical arguements at a

much greater rate. a lot of the difficulties people have

following mathematics is they bring to mathematics the sort of the inherent

sloppiness. and ambiguity.

and vagueness. Of everyday language.

when you do that you just run into trouble.

The whole points about about this formalism is if you limit it solely

ambiguity. Because in mathematics we very often

don't have knowledge of the everyday world to help ourselves out.

As we do when we use language in the everyday world.

Okay. How well, how did you guys do in

assignment five? Wasn't easy was it?