Venn probléma

A Venn -probléma egy  olyan probléma, amelyet 1881-ben John Venn angol logikus és filozófus javasolt a Symbolic Logic című könyvében . 

A probléma feltételei

A feladat egy bizonyos klubról szól, a belépés szabályairól, amelyhez felajánljuk, hogy csökkentsük.

A klub alapszabálya kimondja:

• a pénzügyi bizottságot a főbizottság tagjai közül választják;
• senki nem lehet egyszerre tagja a főbizottságnak és a könyvtári bizottságnak, kivéve, ha tagja a pénzügyi bizottságnak is;
• a könyvtári bizottság egyetlen tagja sem lehet a pénzügyi bizottságban.

Megoldás

Egyszerűsítsük le a charta szabályait 2 szabályra. A Klub Alapszabályának logikai kijelentések formájában történő lejegyzését követően új, rövidített formára alakítjuk át.

A kifejezés értelmezése egyenértékű a következővel:

• a pénzügyi bizottság tagjait a tábornok tagjai közül választják;
• az általános bizottság tagjai nem lehetnek a könyvtári bizottság tagjai.

Irodalom

• Kuzichev A.S. A Venn-probléma // A természettudományok története és módszertana. M., 1974. szám. 16. S. 128-136.
• [egy]
• [2]
• [3]