En matemáticas, un diagrama de araña unitario añade puntos existenciales a un diagrama de Euler o de 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 involucra diagramas de araña unitarios y 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.
En la imagen mostrada, las siguientes conjunciones son evidentes a partir del diagrama de Euler.
En el universo del discurso definido por este diagrama de Euler , además de las conjunciones especificadas anteriormente, todos los conjuntos de A a G , excepto C , están disponibles por separado. El conjunto C sólo está disponible como subconjunto de B. A menudo, en diagramas complicados, los conjuntos únicos 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:
