WFF 'N PROOF

L'ensemble complet de 21 jeux qui a commencé avec le jeu WFF (voir ci-dessus). Le jeu comprend 36 dés spéciaux, un minuteur et un manuel de règles et d'exemples de 184 pages. Les jeux inclus dans cet ensemble sont en réalité un ensemble de règles logiques présentées dans un ordre d'instruction programmée. Chaque jeu ajoute à tous les jeux précédents jusqu'à atteindre le jeu 21, Frantic WFF 'N PROOF. En plus de construire des WFF (formules bien formées), les joueurs doivent également essayer d'atteindre un objectif en utilisant les règles d'inférence. Par exemple: si l'objectif est 'p', un joueur peut utiliser la règle 'Ko' (ou Conjonction Out) et utiliser 'Kpq' comme prémisse. En d'autres termes, si la phrase suivante est vraie: "Les premiers jeux de WFF 'N PROOF sont faciles et les derniers jeux de WFF 'N PROOF sont difficiles." Alors on peut en déduire que la phrase suivante est vraie: "Les premiers jeux de WFF 'N PROOF sont faciles." Jusqu'à 36 dés sont lancés selon le jeu joué. Un joueur fixe un 'objectif' en construisant une WFF dans la zone d'objectif du tapis de jeu. Les joueurs alternent ensuite pour placer des dés dans les sections "autorisées" ou "essentielles" de la zone de jeu. Si un dé est placé dans la zone essentielle, il DOIT être utilisé dans une prémisse ou une règle. Si un joueur ne pense pas qu'il peut être utilisé, il peut défier son adversaire. Pour gagner, un joueur doit faire un défi réussi ou être défié sans succès. Les jeux 3 à 19 introduisent les 11 règles d'inférence logique dans cet ordre: Conjonction, Implication, Réitération, Disjonction, Négation et Équivalence. Ensuite, 18 règles dérivées supplémentaires sont ajoutées pour le jeu 20, le jeu PC (Calcul des Propositions). Le 21e et dernier jeu, Frantic WFF 'N PROOF, prend le jeu PC et ajoute des mouvements chronométrés pour un score rapide et chaotique.