所有非S是P的的逻辑等值形式,即如何

由“所有非S是P”可得“有P是非S”，再由“有P是非S”得出“有P不是S”。