Why does it become purely biological and not social in this case? Applying this definition strictly means woman who aren't able to bear children are not women.
Another example: the only vertebrates that can fly are birds(ignoring squirrels and weird fish). That's not equivalent to saying that the ostrich is not a bird.
Flying vertebrate => bird
Bird =/> flying vertebrate
I guess I can fix it easily enough:
Flight(not gliding or floating) implies wings.
Wings don't imply flight.
Not quite sure what the commentor you are replying to means by the social part but they didn't state that giving birth => woman is a 2 way implication.