WFF 'N BEVIS
WFF'N PROOF är ett spel med modern logik , utvecklat för att lära ut principer för symbolisk logik . Den utvecklades av lekmannen E. Allen 1962, en före detta professor vid Yale Law School och University of Michigan .
Regler
Som marknadsfördes på 1960-talet var WFF 'N PROOF en serie med 20 spel med ökande komplexitet, som varierade med de logiska regler och metoder som finns tillgängliga.
Alla spelare måste kunna känna igen en " välformad formel " (WFF i Łukasiewicz-notation ), för att sätta ihop tärningsvärden till giltiga påståenden (WFFs) och att tillämpa reglerna för logisk slutledning för att slutföra ett bevis . Spel spelas av två eller flera personer. Den första spelaren som kastar kuberna sätter ett WFF som mål. Varje spelare försöker sedan konstruera (med vad som är tillgängligt) ett fullständigt logiskt bevis på målet. Lösningen till målet är premisserna som de började sitt bevis med, och reglerna de använde för att nå målet.
Spelare turas om att flytta till sektionerna Essentials, Permitted Premises eller Permitted Rules på mattan. Alla kuber som flyttas till Essentials måste användas i vilken lösning som helst och måste vara en väsentlig del av den lösningen; alla kubvärden i Tillåtna lokaler kan användas som en del av en lokal; alla kubvärden i tillåtna regler kan användas som en del av en regel. Således formar spelarna själva lösningen och tvingar varandra att skapa nya lösningar som svar på rörelser.
När som helst kan en spelare utmana den sista spelaren, om de känner att den sista spelaren har gjort ett misstag. Det finns tre typer av utmaningar. A-Flub innebär att utmanaren kan skapa en lösning med hjälp av kuberna i Required and Permitted och ytterligare en kub från Resources. P-Flub, eller Challenge Impossible betyder att spelaren tror att Mover inte kan skapa en lösning med hjälp av kuberna i Required, Permitted och Resources. CA-Flub betyder att utmanaren tror att Mover, eller någon tidigare mover, missade en A-Flub. Efter en utmaning måste minst en spelare visa en korrekt lösning på papper.
Poängsättningen går så här:
Spelaren som vinner utmaningen får 10 poäng. Förloraren av utmaningen får 6 poäng. Om det finns en tredje spelare måste han stå med eller mot utmanaren och få poäng beroende på det beslutet.
namn
Namnet är en pjäs på Whiffenpoofs , en a capella-sånggrupp som grundades vid Yale University 1909.
Recensioner
- Spel och pussel
Se även
Vidare läsning
- Allen, Layman E. (1975) [1962, 1966, 1970]. Wff 'n proof: the game of modern logic . Spel för tänkare. New Haven, Connecticut, USA: Autoteliskt instruktionsmaterial. OCLC 2970137 .
- "WFF 'N PROOF: The Game of Modern Logic" . National Museum of American History . 2014. Arkiverad från originalet 2022-07-03 . Hämtad 2022-07-03 .
externa länkar
- "WFF 'N PROOF: The Game of Modern Logic" . Spel för tänkare . 2018. Arkiverad från originalet 2022-07-03 . Hämtad 2022-07-03 .