kennen Sie wahrscheinlich schon aus der Mengenlehre.

In der Semantik dienen Vennsche Diagramme dazu, Wahrheitsbedingungen (insbesondere für quantifizierte Ausdrücke) modelltheoretisch darzustellen.

• "LACHEN" als die Menge der Individuen, die lachen;
• "GRÜN" als die Menge der Entitäten, die grün sind;
• "FRAU" als die Menge der Individuen, die eine Frau sind;
• "5 kg Äpfel" als die Menge der Mengen von Äpfeln, die 5 kg wiegen.