¿Qué es?
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:
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.