Venn-a diagramo
Venn-aj diagramoj uzatas en aro-teorio kaj en logiko.
Ekzemplo de venn-a diagramo
kiu montras ke:
- se iu posedas proprecon A do ĝi posedas proprecon B.
- oni ne povas posedi samtempe proprecon C kaj proprecon B
- konklude se iu posedas proprecon C tiu ne posedas proprecon A.