# FOL puzzle

*I seem to have written this a long time ago, and it was on one of
my backup drives. It’s not too interesting, and I think Tim Gowers
posted something similar (it may have been the dual of what I describe
here) a while ago. Still, it’s better to put it up here than just have
it locally. It’s somewhat amusing looking back on this, because the
original document was titled “A Little Number Theory” when the actual
point has nothing to do with number theory—a sign of my mathematical
immaturity, I suppose. I’ve cleaned up most of the document to reveal
the part that most interested me.*

Consider the following “proof”:

Let be an integer. Let be the proposition “”, be the proposition “ is prime”, and be the proposition “ is odd”. Then is true because is the only even prime. But . So it must be the case that “if , then is odd; or, if is prime, then is odd”. But this last proposition is false because but is not odd. Also, is prime, but is even. Therefore, .