前面的“命题p或q为真”范围要大些
所以是必要非充分条件
其实你可以通过画集合的图来看,就很清楚了