Venn-a diagramo

Venn-aj diagramoj uzatas en aro-teorio kaj en logiko.

Ekzemplo de venn-a diagramo

Venn-diagram-ABC.png

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.