WFF 'N PROOF

WFF 'N PROOF

WFF 'N PROOF the Game of Modern Logic was developed to teach principles of logic.

Origin

WFF 'N PROOF was developed by Layman Allencite article | author= Rachel Erhenberg | title= He's Positively Logical | url=http://www.umich.edu/~newsinfo/MT/02/Spr02/mt9s02.html | work= Michigan Today | date= 2002 | accessdate=2008-08-31] a former professor of Yale Law School and the University of Michigan - Ann Arbor.

Rules

In the game, students must be able to recognize a WFF("Well Formed Formula") and use seven different rules of logic to manipulate those WFFs into a proof. Games are played in groups of two or three. The first player rolls the cubes and sets a WFF as a Goal. The goal is the conclusion of a proof. Each student then tries to construct a proof that ends with the goal. The Solution to the goal is the Premises which they started their proof with, and the Rules they used to get to the Goal

Players take turns moving to the Essentials, Permitted Premises, or Permitted Rules sections of the mat. Any cube moved to Essentials must be used in any Solution, and must be an essential part of that solution; any cube in Permitted Premises may be used as part of a premise; any cube in Permitted Rules may be used as part of a Rule. Thus the players themselves shape the Solution, forcing one another to create new Solutions in response to moves.

At any point a player may challenge the last mover, if they feel the last mover has made a mistake. There are three types of Challenges. A-Flub means that the Challenger can make a Solution using the cubes in Required and Permitted and one more cube from Resources. P-Flub, or Challenge Impossible means the player believes the Mover cannot make a Solution using the cubes in Required, Permitted, and Resources. C-A- Flub means that the Challenger believes that the Mover, or some previous mover, missed an A-Flub. After a challenge, at least one player must show a correct Solution on paper.

The scoring goes like this:

The player who wins the challenge scores 10 points.
The loser of the challenge scores 6.
If there is a third player, he must side with or against the Challenger and scores points depending upon that decision.

A game may also end in a Forceout.

ee also

Academic Games

WFF

Logic

First Order Logic

References

External links

' [http://wffnproof.com/ WFF 'N PROOF website]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Well-formed formula — In mathematical logic, a well formed formula (often abbreviated WFF, pronounced wiff or wuff ) is a symbol or string of symbols (a formula) that is generated by the formal grammar of a formal language. To say that a string S is a WFF with respect …   Wikipedia

  • Formule Bien Formée — En logique mathématique, le sigle anglais WFF (prononcé wiff ) est une abréviation pour well formed formula, c.à.d en Français formule bien formée. Soit une grammaire formelle, un WFF est toute chaîne qui est générée par cette grammaire. Par… …   Wikipédia en Français

  • Formule bien fondée — Formule bien formée En logique mathématique, le sigle anglais WFF (prononcé wiff ) est une abréviation pour well formed formula, c.à.d en Français formule bien formée. Soit une grammaire formelle, un WFF est toute chaîne qui est générée par cette …   Wikipédia en Français

  • Formule bien formee — Formule bien formée En logique mathématique, le sigle anglais WFF (prononcé wiff ) est une abréviation pour well formed formula, c.à.d en Français formule bien formée. Soit une grammaire formelle, un WFF est toute chaîne qui est générée par cette …   Wikipédia en Français

  • Formule bien formée — En logique mathématique, le sigle anglais WFF (prononcé wiff ) est une abréviation pour well formed formula, c.à.d en Français formule bien formée. Soit une grammaire formelle, un WFF est toute chaîne qui est générée par cette grammaire. Par… …   Wikipédia en Français

  • Academic Games — is a U.S. competition in which players win by out thinking each other in mathematics, language arts, and social studies. Formal tournaments are organized by local leagues, and on a national level by the Academic Games Leagues of America (AGLOA).… …   Wikipedia

  • National Academic Games Project — The National Academic Games Project is the oldest continuously running program involving the Academic Games competitions in the United States. Participating schools include Hancock county, West Virginia s Weir and Oakglen middle and high schools; …   Wikipedia

  • Eoörnis Pterovelox Gobiensis — is a fictional bird, a humorous hoax by Lester W. Sharp, professor of botany, Cornell University, United States.It was initially a short talk presented together with a graduate student, Cuthbert Fraser, about the most unusual bird from the Gobi… …   Wikipedia

  • Memoria procedimental — La memoria procedimental es la parte de la memoria que participa en el recuerdo de las habilidades motoras y ejecutivas necesarias para realizar una tarea. Es un sistema ejecutivo que guía la actividad y suele funcionar a un nivel inconsciente.… …   Wikipedia Español

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”