WFF の証明

WFF 'N PROOFは、記号論理学の原理を教えるために開発された現代論理ゲームです。1962年にイェール大学ロースクールとミシガン大学の元教授であるレイマン・E・アレン^{[1] [2]}によって開発されました。

1960 年代に販売された WFF 'N PROOF は、利用可能な論理的なルールと方法に応じて複雑さが増す 20 種類のゲーム シリーズでした。

プレイヤーは全員、「整形式の式」（ Łukasiewicz記法ではWFF ）を認識し、サイコロの目を有効なステートメント（WFF）に組み立て、論理的推論のルールを適用して証明を完了できなければなりません。^[1]ゲームは2人以上でプレイします。最初にサイコロを振ったプレイヤーがWFFを目標として設定します。次に各プレイヤーは（利用可能なものを使用して）目標の完全な論理的証明を構築しようとします。目標の解決策は、証明を開始した前提と、目標に到達するために使用したルールです。

プレイヤーは順番にマットの「必須」、「許可された前提」、または「許可されたルール」セクションに移動します。「必須」に移動されたキューブは、すべてのソリューションで使用する必要があり、そのソリューションの必須部分である必要があります。「許可された前提」のキューブの値は、前提の一部として使用できます。「許可されたルール」のキューブの値は、ルールの一部として使用できます。このように、プレイヤー自身がソリューションを形作り、移動に応じて互いに新しいソリューションを作成するように強制します。

プレイヤーは、最後のムーバーがミスを犯したと感じた場合、いつでも最後のムーバーにチャレンジすることができます。チャレンジには 3 つの種類があります。A の失敗は、チャレンジャーが必須と許可のキューブとリソースのキューブ 1 つを使用してソリューションを作成できることを意味します。P の失敗、またはチャレンジ不可能は、プレイヤーがムーバーが必須、許可、およびリソースのキューブを使用してソリューションを作成できないと考えていることを意味します。CA の失敗は、チャレンジャーがムーバーまたは前のムーバーが A の失敗を見逃したと考えていることを意味します。チャレンジの後、少なくとも 1 人のプレイヤーが正しいソリューションを紙に示さなければなりません。

採点は次のようになります:

チャレンジに勝ったプレイヤーは 10 ポイントを獲得します。
チャレンジに負けたプレイヤーは 6 ポイントを獲得します。3
人目のプレイヤーがいる場合、そのプレイヤーは挑戦者の味方になるか反対するかを決め、その決定に応じてポイントを獲得します。

この名前は、1909年にイェール大学で設立されたアカペラ歌唱グループであるウィッフェンプーフスにちなんで付けられました^。[3]

• ゲームとパズル^[4]

• 学術ゲーム

• Allen, Layman E. (1975) [1962, 1966, 1970]. Wff 'n proof: the game of modern logic . Games for Thinkers. 米国コネチカット州ニューヘブン: Autotelic Instructional Materials. OCLC  2970137.
• 「WFF 'N PROOF: 現代論理のゲーム」。国立アメリカ歴史博物館。2014年。2022年7月3日時点のオリジナルよりアーカイブ。2022年7月3日閲覧。

• 「WFF 'N PROOF: 現代論理のゲーム」。Games For Thinkers。2018年。2022年7月3日時点のオリジナルよりアーカイブ。2022年7月3日閲覧。