Are there any interesting examples of tautologies that are not mathematical? Something non-trivial like
It is raining or it is not raining.
I can't come up with one nor have I found any on the internet.
Example: the mathematical statement of the mean value theorem is a tautology, but it's a mathematical one with a lot of information inside. And it's not apparrent that the statement of the mean value theorem is a tautology.
By "interesting" I probably mean just that: a tautology "with a lot of information inside" without it obviously being a tautology. But then, wouldn't it then be considered mathematical becuase of its complexity? đ€
Here is the definition of "mathematical" I am using (taken from here):
Mathematics is the domain of inquiry where logical reasoning is the sole methodology. That is, a question is a mathematical question if and only if it can (in principle) be settled by logical reasoning alone.