Venn ongelma

Venn -ongelma on ongelma, jonka englantilainen logiikka ja filosofi John Venn  ehdotti vuonna 1881 Symbolic Logicissa . 

Ongelman olosuhteet

Tehtävä kertoo tietystä seurasta, johon liittymisen säännöistä meille tarjotaan vähennystä.

Seuran peruskirjassa sanotaan:

• taloustoimikunta valitaan yleisen valiokunnan jäsenten keskuudesta;
• kukaan ei voi olla samanaikaisesti sekä yleis- että kirjastotoimikunnan jäsen, ellei hän ole myös taloustoimikunnan jäsen;
• yksikään kirjastotoimikunnan jäsen ei voi kuulua taloustoimikuntaan.

Ratkaisu

Yksinkertaistetaan peruskirjan säännöt 2 sääntöön. Kirjoitettuamme seuran peruskirjan loogisten lausuntojen muodossa, muutamme ne uuteen, lyhennettyyn muotoon.

Ilmaisun tulkinta vastaa seuraavaa:

• taloustoimikunnan jäsenet valitaan kenraalin jäsenten keskuudesta;
• yleisen toimikunnan jäsenet eivät voi olla kirjastotoimikunnan jäseniä.

Kirjallisuus

• Kuzichev A.S. Venn-ongelma // Luonnontieteiden historia ja metodologia. M., 1974. Issue. 16. S. 128-136.
• [yksi]
• [2]
• [3]