WFF 'N PROOF es un juego de lógica moderna , desarrollado para enseñar principios de lógica simbólica . Fue desarrollado por Layman E. Allen en 1962 [1] [2] , ex profesor de la Facultad de Derecho de Yale y de la Universidad de Michigan .
Tal como se comercializó en la década de 1960, WFF 'N PROOF era una serie de 20 juegos de complejidad creciente, que variaba según las reglas y métodos lógicos disponibles.
Todos los jugadores deben poder reconocer una " fórmula bien formada " (WFF en notación de Łukasiewicz ), ensamblar valores de dados en declaraciones válidas (WFF) y aplicar las reglas de inferencia lógica para completar una demostración . [1] Los juegos los juegan dos o más personas. El primer jugador que lanza los cubos establece un WFF como objetivo. Luego, cada jugador intenta construir (con lo que esté disponible) una prueba lógica completa del objetivo. La solución a la meta son las premisas con las que comenzaron su prueba y las reglas que utilizaron para llegar a la meta.
Los jugadores se turnan para pasar a las secciones Esenciales, Locales permitidos o Reglas permitidas del tapete. Cualquier cubo movido a Essentials debe usarse en cualquier Solución y debe ser una parte esencial de esa solución; cualquier valor cúbico en Locales Permitidos puede usarse como parte de un local; cualquier valor de cubo en las Reglas permitidas se puede utilizar como parte de una Regla. Así, los propios jugadores dan forma a la Solución, obligándose unos a otros a crear nuevas Soluciones en respuesta a los movimientos.
En cualquier momento, un jugador puede desafiar al último en moverse, si siente que el último en moverse ha cometido un error. Hay tres tipos de desafíos. A-Flub significa que el Retador puede crear una Solución usando los cubos en Requerido y Permitido y un cubo más de Recursos. P-Flub, o Desafío Imposible significa que el jugador cree que el motor no puede encontrar una solución usando los cubos en Requerido, Permitido y Recursos. CA-Flub significa que el retador cree que el promotor, o algún promotor anterior, se perdió un A-Flub. Después de un desafío, al menos un jugador debe mostrar una Solución correcta en papel.
La puntuación es la siguiente:
El jugador que gana el desafío obtiene 10 puntos.
El perdedor del desafío obtiene 6.
Si hay un tercer jugador, debe ponerse del lado del retador o en contra y suma puntos dependiendo de esa decisión.
El nombre es una obra de teatro sobre Whiffenpoofs , un grupo de canto a capella establecido en la Universidad de Yale en 1909. [3]