From PhilPapers forum Logic and Philosophy of Logic:

2016-11-08
sufficient condition and necessary condition
All bachelor is male but some male is bachelor
Then
bachelor implies male but male do not implies bachelor.