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

Printable View

- Jun 28th 2007, 01:34 PMTheRekzquantifier
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

- Jun 28th 2007, 02:28 PMPlato
- Jun 28th 2007, 02:33 PMTheRekz
- Jun 28th 2007, 02:36 PMPlato
WELL, of course!

It is always true that - Jun 28th 2007, 02:37 PMTheRekz
- Jun 28th 2007, 02:40 PMPlato
Look at the answer I gave for the second one:

- Jun 28th 2007, 02:52 PMTheRekz
- Jun 28th 2007, 03:14 PMPlato
But in what you did it is possible that x=y.

In that case we don't have two, but maybe only one.