00:01
When we have the statement, some who wander are lost, we're defining two main propositions here.
00:07
We have those who wander, which we can say is f -w -x, sorry, and we can say those who are lost, which we can define as l -of -x.
00:20
The second premise we have is that marty mcdonald wanders.
00:25
So marty mcdonald, who will just represent by m, is a wanderer, so he wanders.
00:37
Now, with this, what do we know about the phrase, some who wander are lost? well, some points to the fact that we're going to have to use an existential.
00:50
There are some people who wander and are lost.
01:04
And when we represent this as an oiler diagram, we have the set of those who wander, and it intersects arbitrarily with those that are lost.
01:18
So this is an arbitrary intersection.
01:21
Put it like that.
01:23
And they have some intersection area.
01:26
We don't know how large it is.
01:29
So we can draw that like this...