En matemáticas, un diagrama de araña unitario agrega puntos existenciales a un diagrama de Euler o Venn . Los puntos indican la existencia de un atributo descrito por la intersección de contornos en el diagrama de Euler. Estos puntos pueden unirse formando una forma de araña . Los puntos unidos representan una condición "o", también conocida como disyunción lógica .
Un diagrama de araña es una expresión booleana que incluye diagramas de araña unitarios y los símbolos lógicos. Por ejemplo, puede consistir en la conjunción de dos diagramas de araña, la disyunción de dos diagramas de araña o la negación de un diagrama de araña.
Ejemplo
En la imagen mostrada, las siguientes conjunciones
En el universo del discurso definido por este diagrama de Euler , además de las conjunciones especificadas anteriormente, todos los conjuntos posibles de A a B y D a G están disponibles por separado. El conjunto C sólo está disponible como un subconjunto de B . A menudo, en diagramas complicados, los conjuntos singleton y / o las conjunciones pueden quedar oscurecidos por otras combinaciones de conjuntos.
Las dos arañas del ejemplo corresponden a las siguientes expresiones lógicas:
- Araña roja:
- Araña azul:
Referencias
- Howse, J. y Stapleton, G. y Taylor, H. Diagramas de araña Revista de Computación y Matemáticas de la Sociedad Matemática de Londres , (2005) v. 8, págs. 145-194. ISSN 1461-1570 Consultado el 8 de enero de 2012 aquí.
- Stapleton, G. y Howse, J. y Taylor, J. y Thompson, S. ¿Qué pueden decir los diagramas de araña? Proc. Diagramas, (2004) v. 168, pág. 169–219. Consultado el 4 de enero de 2012 aquí.
- Stapleton, G. y Jamnik, M. y Masthoff, J. Sobre la legibilidad de las pruebas esquemáticas Proc. Taller de razonamiento automatizado, 2009. PDF