若“有S不是P”为真，则“所有非P不是S”为（）。