Answer to Question #339198 in Discrete Mathematics for kabe

Question

Let S(x, y) be “x is

shorter than y.” Given the premise ∃sS(s, Max), it follows that S(Max, Max). Then by existential generalization it follows that ∃xS(x,x), so that someone is shorter than himself. 

Answer 1

It's been a while since this question is posted here. Still, the answer hasn't been got. Consider converting this question to a fully qualified assignment, and we will try to assist. Please click the link below to proceed: Submit order