Venn-diagramm Azokat az ábrákat, amelyek egy univerzális alaphalmaz és részhalmazai között fennálló tartalmazási viszonyok szemléltetésére szolgálnak, Venn-diagrammoknak nevezzük.
"A és B" Venn-diagramja (a piros rész az igaz rész konjunkció esetén) A többértékű logikákban a konjunkciót a permanenciaelv szerint úgy terjesztik ki, hogy minél több tulajdonságát megőrizzék.
A halmazok szemléletes ábrázolását a Venn-diagrammokkal szoktuk szemléltetni. (John Venn angol matematikusról elnevezve.) A Venn-diagrammokon általában valamilyen síkidomok (körök, ellipszisek vagy téglalap) jelképezik az egyes halmazokat.
Halmazrendszerek grafikus ábrázolása Venn-diagrammal történik. Egy halmazrendszer pont-halmaz incidencia (illeszkedési) mátrixa. Ez egy 0-1 mátrix, különböző oszlopokkal. Egy pont fokszáma. Egy halmazrendszer f-vektora.
Megmutatjuk, hogy a P, K, Z halmazok valamelyikének az elemszáma legalább n-2. Ennek igazolásához készítsük el a halmazok Venn-diagrammját, ahol az egyes betűk a megfelelő részhalmazok elemszámát jelölik.
Az ábrán a változókat Venn-diagrammba rendeztük, a Hamming kódba a változók olyan értékrendszere tartozik, amelynél a három halmaz közül bármelyikben szereplő négy változó értékének összege zérus (mod 2).
Lásd még: Részhalmaz, Halmaz, Vektor, Négyzet, Összeg
 
|