Venn problem

Venn- problemet er  et problem foreslået i 1881 af den engelske logiker og filosof John Venn i Symbolic Logic . 

Betingelser for problemet

Opgaven fortæller om en bestemt klub, reglerne for tilmelding som vi bliver tilbudt at reducere.

I klubbens charter står der:

• økonomiudvalget vælges blandt hovedudvalgets medlemmer;
• ingen kan være medlem af både hovedudvalget og biblioteksudvalget på samme tid, medmindre han også er medlem af økonomiudvalget;
• intet medlem af biblioteksudvalget kan sidde i økonomiudvalget.

Løsning

Lad os forenkle reglerne i charteret til 2 regler. Efter at have skrevet klubbens charter ned i form af logiske udsagn, vil vi omdanne dem til en ny, forkortet form.

Fortolkningen af ​​udtrykket svarer til følgende:

• medlemmer af økonomiudvalget vælges blandt generalens medlemmer;
• medlemmer af hovedudvalget kan ikke være medlemmer af biblioteksudvalget.

Litteratur

• Kuzichev A.S. Venn-problemet // Naturvidenskabernes historie og metodologi. M., 1974. Udgave. 16. S. 128-136.
• [en]
• [2]
• [3]