Pavoučí diagram - Spider diagram

V matematice, a unitární pavoučí diagram přidá existenční body k Euler nebo a Vennův diagram. Body označují existenci atributu popsaného průnikem obrysů v Eulerově diagramu. Tyto body mohou být spojeny dohromady a vytvořit tvar jako a pavouk. Spojené body představují stav „nebo“, známý také jako a logická disjunkce.

A pavoučí diagram je logický výraz zahrnující jednotné pavoučí diagramy a logické symboly ${ displaystyle land, lor, lnot}$. Může se například skládat ze spojení dvou pavoučích diagramů, disjunkce dvou pavoučích diagramů nebo negace pavoučího diagramu.

Příklad

Logická disjunkce navrstvená na Eulerův diagram

Na obrázku je znázorněno následující spojení

${ displaystyle A land B}$

${ displaystyle B land C}$

${ displaystyle F land E}$

${ displaystyle G land F}$

V vesmír diskurzu definováno tímto Eulerův diagram, kromě výše uvedených spojek, všechny možné množiny z A přes B a D přes G jsou k dispozici samostatně. Sada C je k dispozici pouze jako podmnožina B. Ve složitých diagramech často singletonové sady a / nebo spojky mohou být zakryty jinými kombinacemi množin.

Dva pavouci v příkladu odpovídají následujícím logickým výrazům:

• Červený pavouk: ${ displaystyle (F land E) lor (G) lor (D)}$
• Modrý pavouk: ${ displaystyle (A) lor (C land B) lor (F)}$

Reference

• Howse, J. a Stapleton, G. a Taylor, H. Pavoučí diagramy London Mathematical Society Journal of Computation and Mathematics, (2005) v. 8, str. 145–194. ISSN  1461-1570 Přístup 8. ledna 2012 tady
• Stapleton, G. a Howse, J. a Taylor, J. a Thompson, S. Co mohou říci pavoučí diagramy? Proc. Diagrams, (2004) v. 168, s. 169–219. Přístup 4. ledna 2012 tady
• Stapleton, G. a Jamnik, M. a Masthoff, J. O čitelnosti schematických důkazů Proc. Workshop Automated Reasoning Workshop, 2009. PDF

externí odkazy

• Brightonská a Kentská univerzita - Eulerovy diagramy