若“有S不是P”为真,则“所有非P不是S”为()。
出自:哲学