逻辑学中,全称命题主项都周延,否定命题谓项都周延.说白了周延就是看能不能解释判断另一项的全部外延.sop=有的s不是p,这里的s限定并判断了p的外延,所以是周延的