Problema de venn
El problema de Venn es
un problema propuesto en 1881 por el lógico y filósofo inglés John Venn en Symbolic Logic .
Condiciones del problema
La tarea habla de un determinado club, las reglas para unirse a las que se nos ofrece reducir.
Los estatutos del club dicen:
- el comité financiero es elegido de entre los miembros del comité general;
- nadie puede ser miembro del comité general y del comité de la biblioteca al mismo tiempo, a menos que también sea miembro del comité de finanzas;
- ningún miembro del comité de la biblioteca puede estar en el comité de finanzas.
Solución
Simplifiquemos las reglas de la carta a 2 reglas. Habiendo escrito la Carta del Club en forma de declaraciones lógicas, las transformaremos a una forma nueva y abreviada.
La interpretación de la expresión es equivalente a la siguiente:
- los miembros del comité financiero son elegidos entre los miembros del general;
- los miembros del comité general no pueden ser miembros del comité de la biblioteca.
Literatura
- Kuzichev A.S. El problema de Venn // Historia y metodología de las ciencias naturales. M., 1974. Edición. 16. Art. 128-136.
- [una]
- [2]
- [3]