这是定义，若p推出q，则p叫做q的充分条件，q叫p的必要条件
这是定义, 就如某同学叫王小兵, 你问为什么, 这就没意义了.
集合论和逻辑学的定义。只需要明白其中的逻辑关系就可以了。
这个是必要条件的定义啊，哪有为什么？
