Está comparando dos ediciones. La más antigua a la izquierda y la más reciente a la derecha.
Ir a la versión actual.
Las nuevas contribuciones te aparecerán en rojo, en la columna de la derecha. Desde éstas podrás ver las diferencias con el texto anterior.
m (Rpl img) |
|||
| Línea 15: | Línea 15: | ||
Los enunciados de tipo O pueden representarse en los [[diagramas de Venn|diagramas de Venn]] de la siguiente manera: | Los enunciados de tipo O pueden representarse en los [[diagramas de Venn|diagramas de Venn]] de la siguiente manera: | ||
| − | [[File:3682-11. | + | [[File:3682-11.png|400px|center]] |
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. | 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. | ||
Última revisión de 11:20 4 may 2013
¿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.