No se ha añadido ninguna twiki todavía.

Símbolo tradicional que se aplica a las proposiciones categóricas particulares negativas, del tipo «Algún S no es P», que pueden formularse de diversas maneras:


Algo que es S no es P

Alguna cosa que es S no es P

Hay cosas S que no son P

Existe por lo menos un S que no es P

Existe algo que es a la vez S y no P

Los enunciados de tipo O pueden representarse en los diagramas de Venn de la siguiente manera:

3682-11.png

Donde la zona [math]S\overline{P}[/math] no está vacía, porque el enunciado afirma precisamente que existe por lo menos un elemento de esta clase de cosas que son S y no P a la vez.