What is wrong with this argument? Let S(x, y) be “x is
Chapter 7, Problem 18E(choose chapter or problem)
What is wrong with this argument? Let \(S(x, y)\) be " \(x\) is shorter than \(y\)." Given the premise \(\exists s S(s\), Max), it follows that S(Max, Max). Then by existential generalization it follows that \(\exists x S(x, x)\), so that someone is shorter than himself.
Equation Transcription:
∃sS(s, Max),
∃xS(x, x)
Text Transcription:
S(x, y)
x
y
S(Max, Max)
\exists s S(s Max),
\exists x S(x, x)
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer