Venn, John (1834-1923)

° Diagramme de Venn. – Diagramme dû au logicien anglais Venn et basé sur des notations ensemblistes. Il permet de visualiser les opérations et les relations logiques. Les diagrammes de Venn constituent une interprétation graphique du calcul propositionnel. Ils sont utilisés pour résoudre certaines récréations logiques.

Le diagramme de Venn peut être représenté par des rectangles comme dans les figures suivantes :

Le premier diagramme ci-dessus est formé de deux ensembles et a un maximum de trois régions. Le second est formé de trois rectangles et a un maximum de sept régions. 

Le diagramme de Venn peut être élargi ; le nombre d'ensembles qu’il comprend est alors supérieur à trois. 

© Charles-É. Jean