Why is this seemingly valid argument using modus tollens not valid? How is this an example of "begging the question"?

It is not clear from the phrasing in your quote whether the statement "If $n$ is a real number with $n > 3$, then $n^2 > 9$" is meant to be a given premise or the statement that we're trying to prove.

If it's a premise, and we're trying to use it to prove that $n \le 3$, given the additional assumption that $n^2 \le 9$, then the argument is indeed correct: given $A \implies B$, we can deduce $\lnot A$ from $\lnot B$.

If, instead, the first statement in the quoted argument is supposed to be the theorem that we're trying to prove, then the proof is invalid. While we could indeed deduce $n > 3 \implies n^2 > 9$ from $n^2 \le 9 \implies n \le 3$ (those two statements being logically equivalent), the quoted argument contains nothing that could be used to prove $n^2 \le 9 \implies n \le 3$ in the first place, unless we incorrectly assume the statement that we're trying to prove (or something else that has not been explicitly stated).

Presumably, the book you're reading explains how such arguments given in it are to be parsed. In particular, if the arguments in the book are written in the format "Theorem to be proved: Proof of theorem," then this particular argument is invalid; if they're instead meant to be parsed as "Established premises: Assumptions. Result," then it's valid.

Unfortunately, while there exist several established conventions like this, none are quite universal enough to be safely assumed without knowing which convention the author follows. When writing proofs yourself, to avoid such confusion it's usually a good idea to clearly and explicitly indicate which statements are axioms or prior theorems, which are temporary assumptions, and which are the new theorems that you're trying to prove.


It's not really a proof, that's the problem. It's just rephrasing the statement and then claiming that it's obvious. If the arguer actually showed that if $n^2 \leq 9$ then $n \leq 3$, it would be a valid proof by contraposition.

It's like saying: "We prove Fermat's Last Theorem. Indeed, let $n \geq 3$. Then $x^n + y^n = z^n$ is equivalent to $y^n + x^n = z^n$, which never happens, so we're done.".