集合推理

所有S是P，有的S是P，有的S不是P，所有S不是P；换位：所有S是P→有的P是S，有的S是P↔有的P是S；递推：所有S是P，所有P是Q⇒所有S是Q；有的S是P，所有P是Q⇒有的S是Q。