Suppose that I am proving the following proposition:
Proposition 1. For some $a$, $f(x)=ax^2$ is not an increasing function.
I "proved" the proposition by providing a numerical counterexample.
My question is:
Can "proposition 1" be called as a proposition?
If I write a formal proof, starting with proof and end with Q.E.D., but everything in the proof is a counterexample, shall I call this "proof by counterexample" or "proof by contradiction"?
I am asking because I don't know if I should start the proof by saying "by contradiction" or "by counterexample".
Motivation: From what I learnt we can prove things via counterexamples. But this wiki link says that proof by counterexample is not technically a proof. I think "proof by counterexample" is not a proof technique but counterexample is one thing we could use in a "proof by contradiction".
Updated. I am mostly interested in the formal language and format of writing the proof, rather than the actual proof of the proposition 1.
A counterexample is (just as its name states) a particular case that shows that the theorem is invalid.
A contradiction shows that there is a logical inconsistency inherent in the proposed theorem. It need not include an example whatsoever.
Very different things.