Could someone explain to me what it means for a theorem to be a strong(er) form or a weak(er) form of another theorem?
I've heard these terms used over and over, but never bothered to ask. If I had to guess at a definition, I'd say that if q is a theorem then we say p is stronger if p implies q. Similarly p is weaker if q implies p. Am I close?
I've heard these terms used over and over, but never bothered to ask. If I had to guess at a definition, I'd say that if q is a theorem then we say p is stronger if p implies q. Similarly p is weaker if q implies p. Am I close?