So we’re ignoring “I a’m”?
He i’s smart
If a smart person said it, maybe that’s how it’s supposed to be spelled. What are your credentials to dispute it?
I a’m also smart and I can confirm that i’ts correct
How can we with that big red circle around it.
Low-tech typo.
God I hated questions like this in school. There’s always something specific the teacher is looking for, but nothing to point you towards it.
I suppose “by definition” would probably have been counted as wrong
I’m thinking maybe “Because if you subtract 40 from my number you get a negative number,” but I could be either over- or under-thinking it.
Yeah, I always felt like I was either pointlessly restating the obvious or it expected me to derive the damn thing from first principles.
AI slop proof, just because I was curious if duck.ai could do it
Using the natural numbers defined from 0 by the successor operation S:
1=S(0), 2=S(1), … , 20=S20(0), 40=S40(0)
Define a < b to mean that there exists a natural number k such that
a+k=b.
Take a=20 and k=20. By repeated addition,
20+20=40.
Since 20 is a natural number, there exists a natural number k such that
20+k=40.
Therefore, by the definition of the ordering relation,
20<40.
(Is it correct? Fuck if I know!)
A.I. is proving that 20<40 by:
- creating a sequence
- then completely disregarding that
- then saying that since you can add 20 to itself to create 40 it must be less
- then disregarding that and saying that the sequence of numbers proves it because we found 20 first
Honestly since it’s such a simple equation, in real life you could just say 20<40 because 20<40. You don’t really need to prove anything, the proof is in the logical operator. The homework question is dumb because it isn’t clear what they’re asking for.
The teacher is probably looking for something like “Because 40-20 is positive”.
Lazy quiz questions were the bane of my education.
“Because I paid attention to my teacher.”
That should do it.
I was soooo expecting a picture of Trump under that post title.
