WFF 'N PROOF

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 ]} un antiguo profesor de la Facultad de Derecho de Yale y de la Universidad de Michigan .

En la década de 1960, WFF 'N PROOF se comercializó como una serie de 20 juegos de complejidad creciente, que variaban según las reglas lógicas y los métodos disponibles.

Todos los jugadores deben ser capaces de reconocer una " fórmula bien formada " (FBF en la notación de Łukasiewicz ), ensamblar valores de dados en enunciados válidos (FBF) y aplicar las reglas de inferencia lógica para completar una demostración . ^{[ 1 ]} Los juegos son jugados por dos o más personas. El primer jugador en lanzar los dados establece una FBF como objetivo. Cada jugador intenta entonces construir (con lo que tenga a mano) una demostración lógica completa del objetivo. La solución al objetivo son las premisas con las que comenzaron su demostración y las reglas que usaron para llegar al objetivo.

Los jugadores se turnan para mover sus fichas a las secciones de Elementos Esenciales, Premisas Permitidas o Reglas Permitidas del tablero. Cualquier ficha que se mueva a Elementos Esenciales debe usarse en cualquier Solución y debe ser una parte esencial de dicha solución; cualquier ficha en Premisas Permitidas puede usarse como parte de una premisa; cualquier ficha en Reglas Permitidas puede usarse como parte de una Regla. De esta manera, los propios jugadores dan forma a la Solución, obligándose mutuamente a crear nuevas Soluciones en respuesta a sus movimientos.

En cualquier momento, un jugador puede desafiar al último jugador si considera que ha cometido un error. Existen tres tipos de desafíos. Un A-Flub significa que el desafiante puede encontrar una solución utilizando los cubos de las casillas Requeridas y Permitidas, además de un cubo adicional de Recursos. Un P-Flub, o Desafío Imposible, significa que el jugador cree que el último jugador no puede encontrar una solución utilizando los cubos de las casillas Requeridas, Permitidas y Recursos. Un CA-Flub significa que el desafiante cree que el último jugador, o algún jugador anterior, omitió un A-Flub. Tras un desafío, al menos un jugador debe mostrar una solución correcta en papel.

La puntuación se realiza de la siguiente manera:

El jugador que gana el desafío obtiene 10 puntos. El perdedor obtiene 6. Si hay un tercer jugador, este debe apoyar o rechazar al retador y obtiene puntos según su decisión.

El nombre es un juego de palabras con Whiffenpoofs , un grupo de canto a capela fundado en la Universidad de Yale en 1909. ^{[ 3 ]}

• Juegos y rompecabezas ^{[ 4 ]}

• Juegos académicos

• Allen, Layman E. (1975) [1962, 1966, 1970]. Wff 'n proof: the game of modern logic . Games for Thinkers. New Haven, Connecticut, EE. UU.: Autotelic Instructional Materials. OCLC 2970137 . 
• "WFF 'N PROOF: El juego de la lógica moderna" . Museo Nacional de Historia Americana . 2014. Archivado del original el 3 de julio de 2022. Consultado el 3 de julio de 2022 .

• "WFF 'N PROOF: El juego de la lógica moderna" . Juegos para pensadores . 2018. Archivado del original el 3 de julio de 2022. Consultado el 3 de julio de 2022 .