this post was submitted on 20 Oct 2024
363 points (96.4% liked)
Math Memes
1528 readers
5 users here now
Memes related to mathematics.
Rules:
1: Memes must be related to mathematics in some way.
2: No bigotry of any kind.
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
It's fucking obvious!
Seriously, I once had to prove that mulplying a value by a number between 0 and 1 decreased it's original value, i.e. effectively defining the unary, which should be an axiom.
So you need to proof x•c < x for 0<=c<1?
Isn't that just:
xc < x | ÷x
c < x/x (for x=/=0)
c < 1 q.e.d.
What am I missing?
My math teacher would be angry because you started from the conclusion and derived the premise, rather than the other way around. Note also that you assumed that division is defined. That may not have been the case in the original problem.
isnt that how methods like proof by contrapositive work ??
Proof by contrapositive would be c<0 ∨ c≥1 ⇒ … ⇒ xc≥x. That is not just starting from the conclusion and deriving the premise.
i really dont care
Then don’t get involved in this discussion.