∑
MathTCG
#078 / 100•Space, Chance & Computation•MathTCG #478 / 500•★Commune•∀Logique•Méthode & Idée

Diagramme de Venn

Période historique : 1880

Représentation visuelle des intersections, unions et inclusions d'ensembles par des surfaces fermées sécantes.

Contenu & Formulation mathématique

Principe de la démarche
Représentation visuelle des intersections, unions et inclusions d'ensembles par des surfaces fermées sécantes.
Champs d'application canoniques
Démonstration mathématique
Zones=2n,∣A∪B∣=∣A∣+∣B∣−∣A∩B∣\text{Zones} = 2^n, \quad |A \cup B| = |A| + |B| - |A \cap B|

Genèse & Portée historique

Outil graphique universel illustrant les relations booléennes entre plusieurs collections. Pour n ensembles, un diagramme de Venn complet découpe le plan en 2^n zones distinctes représentant tous les mintermes de l'algèbre booléenne.

Introduit par John Venn en 1880 dans un article intitulé On the Diagrammatic and Mechanical Representation of Propositions and Reasonings dans le Philosophical Magazine.

« Donner des frontières visibles aux prédicats pour lire la vérité d'un simple regard. »

Filiations & Relations conceptuelles (1)

Établi / Formulé par#456

John Venn

Diagramme d'ensembles sécants introduit par John Venn en 1880.

Objet de collection MathTCG

#478
★Commune
∀

Diagramme de Venn

Logique•MÉTHODE

Principe : Représentation visuelle des intersections, unions et inclusions d'ensembles par des surfaces fermées sécantes.

Zones=2n,∣A∪B∣=∣A∣+∣B∣−∣A∩B∣\text{Zones} = 2^n, \quad |A \cup B| = |A| + |B| - |A \cap B|
1880

Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Space, Chance & Computation.

Extension : Space, Chance & Computation (#078 / 100)
Numéro global MathTCG : MathTCG #478 / 500
Rareté officielle : Commune (★)
Domaine théorique : Logique
Identifiant pérenne : diagramme-de-venn
Consulter mon classeurExplorer tout le recueil