Problém s Vennem

Vennův problém je  problém navržený v roce 1881 anglickým logikem a filozofem Johnem Vennem v knize Symbolic Logic . 

Podmínky problému

Úkol vypovídá o určitém klubu, jehož pravidla pro vstup se nám nabízejí zredukovat.

Zakládací listina klubu uvádí:

• finanční výbor je volen z řad členů valného výboru;
• nikdo nemůže být současně členem generálního výboru i výboru knihovny, pokud není zároveň členem finančního výboru;
• ve finančním výboru nemůže být žádný člen knihovního výboru.

Řešení

Zjednodušme si pravidla charty na 2 pravidla. Po sepsání Stanov klubu ve formě logických výroků je převedeme do nové, zkrácené podoby.

Výklad výrazu je ekvivalentní následujícímu:

• členové finančního výboru jsou voleni z řad členů valné hromady;
• členové generálního výboru nemohou být členy knihovního výboru.

Literatura

• Kuzichev A.S. The Venn problem // Historie a metodologie přírodních věd. M., 1974. Vydání. 16. S. 128-136.
• [jeden]
• [2]
• [3]