WffnProof

WFF 'N PROOF: The Game of Modern Logic

A game that teaches SymbolicLogic, the rules of inference, logical proof and formal systems.

• http://thinkersleague.law.umich.edu/files/WPGames/WFFNPRUF.htm
• also http://www.wff-n-proof.com/
• http://www.wff-n-proof.com/www-wff-n-proof-com/WFFN-PRF.chk?AOLHelp=43220a4d.7d.6c4.1&ServerName=www.wff-n-proof.com
  • (which can be reached at http://tinyurl.com/82tvw)

See also: AutomatedTheoremProving

---

CategoryGame CategoryLogic