Socrates (c) is a man (a) (c=a) You would be correct in saying that this is an invalid conclusion since many other creatures are mortal, i.e. Socrates could be a cat.