充分不必要是以小推大。大范圍推不出小范圍。如果有事物情況A，則必然有事物情況B；如果有事物情況B不一定有事物情況A，A就是B的充分而不必要的條件，即充分不必要條件。充分不必要條件是