What is wrong with this argument? Let S(x,y) b " x is shorter than y". Given the premise S(s,Max), it follows that S(Max,Max). Then by existential generalization it follows that S(x,x), so that someone is shorter than himself.
I don't really get your explanation, could you try to explain it a bit more or maybe more examples. Sorry!
I don't get the example that you give me, but I understand that in order of S(x,y) to be valid, x has to be less than y and here x = y, so it can't happen right? Am I explaining it the right way? I also don't understand by the domain that you give me. Is that for all x and y?
Is this a type of fallacy?