El Vikipedio
Venn-aj diagramoj uzatas en arteorio kaj en Logiko.
ekzemplo de venn-a diagramo
tiu 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
