And again, I'm stuck with an exercise in Suppes' Introduction to Logic. The exercise is:
Some members of the swimming team have not lost a race. Jones is on the swimming team; furthermore he's the fastest man on the team. Therefore, Jones has not lost a race. (Mx, Lx, j, f)
So I know that (Ex)(Mx & ~Lx), Mj. Jones is the fastest, so I guess I can say that j = f. But, how can I conclude that he hasn't lost a race?
Thanks in advance,