WFF 'N PROOF è un gioco da tavolo che trasforma la logica formale in una battaglia mentale dinamica e. Nato nel 1962, non è un semplice rompicapo: è un viaggio attraverso i fondamenti della logica proposizionale, racchiuso in dadi colorati e regole precise.

Si gioca con trentasei dadi speciali, ognuno contrassegnato da simboli logici come p, q, ¬, ∧, →. A turno, un giocatore stabilisce un obiettivo costruendo una formula ben formata (WFF) nella zona centrale del tabellone. Gli altri devono rispondere posizionando i propri dadi nelle aree “permesse” o “obbligatorie”, cercando di creare premesse che, applicando le regole di inferenza, portino alla dimostrazione dell’obiettivo. I dadi nell’area obbligatoria devono essere usati: chi li posiziona senza un piano chiaro rischia di aiutare l’avversario.

Le regole non sono tutte disponibili fin dall’inizio. Il gioco si sviluppa in 21 livelli, ognuno che introduce una nuova operazione logica — prima la congiunzione, poi l’implicazione, la negazione e così via — fino a raggiungere il sistema completo del calcolo proposizionale. Ogni passo è un tassello che si incastra nel precedente, rendendo il percorso progressivo ma non banale.

La vittoria non arriva con una semplice combinazione vincente: bisogna sfidare l’avversario quando si crede che la sua costruzione sia impossibile da dimostrare. Se la sfida è corretta, si vince. Se sbagliata, si perde. È un gioco di intuizione, memoria e precisione: devi ricordare le regole, prevedere i movimenti e gestire il rischio.

L’ultimo livello, Frantic WFF ‘N PROOF, aggiunge una mossa decisiva: il timer. I turni diventano brevi, le mosse rapide, la pressione cresce. È qui che la logica si trasforma in un balletto mentale frenetico.

Non è un gioco per tutti, ma per chi ama pensare con ordine — e divertirsi mentre lo fa. Non serve essere matematici: basta curiosità, pazienza e il desiderio di capire come funziona il ragionamento.