Proposiciones Particulares Negativas

Las proposiciones categóricas tipo O siguen la forma: 

Algún S no es P. 

Este tipo de proposiciones afirma que al menos un miembro de la clase designada por el término S está excluido de la clase designada por el término P.