Thread: quantifier

T(x) : x is in this class
B(x) : x has a motor bike
C(x) : x has a car

how do I state:
Only one person in this class has a motor bike

my current answer is:



is this right?

how about if there is at least two people in this class have a car

Originally Posted by TheRekz

T(x) : x is in this class
B(x) : x has a motor bike
C(x) : x has a car
Only one person in this class has a motor bike
There is at least two people in this class have a car

For the first on I would expect:
.

The second one could be:

Originally Posted by Plato

For the first on I would expect:
.

The second one could be:

for the first one would it be the same if I say y = x, rather than x = y??

WELL, of course!
It is always true that

Originally Posted by Plato

WELL, of course!
It is always true that

thanks Plato, it really helps.. what about the second one?? is my answer considered fine?

Look at the answer I gave for the second one:

Originally Posted by Plato

Look at the answer I gave for the second one:

yeah but I think it's almost similar from what I did

But in what you did it is possible that x=y.
In that case we don't have two, but maybe only one.