“若p则q” 成立,则p就是q的充分条件,也就是p=>q,满足p的集合为满足q的集合的子集
p：（x-a）(x-b)=0x=a或x=b
q：x=a
显然,｛a｝是｛a,b｝的子集
∴q => p ,∴p为q的必要条件