Spider diagram

In mathematics, a unitary spider diagram adds existential points to an Euler or a Venn diagram. The points indicate the existence of an attribute described by the intersection of contours in the Euler diagram. These points may be joined forming a shape like a spider. Joined points represent an "or" condition, also known as a logical disjunction.

A spider diagram is a boolean expression involving unitary spider diagrams and the logical symbols ${\displaystyle \land ,\lor ,\lnot }$. For example, it may consist of the conjunction of two spider diagrams, the disjunction of two spider diagrams, or the negation of a spider diagram.

Example

In the image shown, the following conjunctions are apparent from the Euler diagram.

${\displaystyle A\land B}$

${\displaystyle B\land C}$

${\displaystyle F\land E}$

${\displaystyle G\land F}$

In the

The two spiders in the example correspond to the following logical expressions:

• Red spider: ${\displaystyle (F\land E)\lor (G)\lor (D)}$
• Blue spider: ${\displaystyle (A)\lor (C\land B)\lor (F)}$

References

• Howse, J. and Stapleton, G. and Taylor, H. Spider Diagrams
  ISSN 1461-1570 Accessed on January 8, 2012 here
• Stapleton, G. and Howse, J. and Taylor, J. and Thompson, S. What can spider diagrams say? Proc. Diagrams, (2004) v. 168, pp. 169–219. Accessed on January 4, 2012 here
• Stapleton, G. and Jamnik, M. and Masthoff, J. On the Readability of Diagrammatic Proofs Proc. Automated Reasoning Workshop, 2009. PDF

External links

Wikimedia Commons has media related to Spider diagrams.

• Brighton and Kent University - Euler Diagrams