WFF 'N PROOF

لعبة WFF 'N PROOF هي لعبة منطق حديثة ، تم تطويرها لتعليم مبادئ المنطق الرمزي . وقد طورها لايمان إي. ألين في عام 1962 ^{[ 1 ] [ 2 ]} وهو أستاذ سابق في كلية الحقوق بجامعة ييل وجامعة ميشيغان .

كما تم تسويقها في الستينيات، كانت لعبة WFF 'N PROOF عبارة عن سلسلة من 20 لعبة ذات تعقيد متزايد، تختلف باختلاف القواعد والأساليب المنطقية المتاحة.

يجب أن يكون جميع اللاعبين قادرين على تمييز " الصيغة المنطقية السليمة " (WFF في تدوين لوكاسيفيتش )، وتجميع قيم النرد في عبارات صحيحة (WFFs)، وتطبيق قواعد الاستدلال المنطقي لإكمال البرهان . ^{[ 1 ]} تُلعب هذه اللعبة من قِبل شخصين أو أكثر. يُحدد اللاعب الأول الذي يرمي النرد صيغة منطقية سليمة كهدف. ثم يحاول كل لاعب بناء برهان منطقي كامل للهدف (باستخدام ما هو متاح). حل الهدف هو المقدمات التي بدأ بها اللاعب برهانه، والقواعد التي استخدمها للوصول إلى الهدف.

يتناوب اللاعبون على الانتقال إلى أقسام "الأساسيات" و"الفرضيات المسموح بها" و"القواعد المسموح بها" على بساط اللعب. يجب استخدام أي مكعب يُنقل إلى قسم "الأساسيات" في أي حل، ويجب أن يكون جزءًا أساسيًا من ذلك الحل؛ ويمكن استخدام أي قيمة مكعب في قسم "الفرضيات المسموح بها" كجزء من فرضية؛ ويمكن استخدام أي قيمة مكعب في قسم "القواعد المسموح بها" كجزء من قاعدة. وهكذا، يُشكّل اللاعبون أنفسهم الحل، مما يُجبر بعضهم بعضًا على ابتكار حلول جديدة استجابةً للتحركات.

في أي وقت، يحق لأي لاعب الاعتراض على اللاعب الأخير إذا شعر بأنه ارتكب خطأً. هناك ثلاثة أنواع من الاعتراضات: الاعتراض الأول (A-Flub) يعني أن اللاعب المعترض قادر على إيجاد حل باستخدام المكعبات المطلوبة والمسموح بها، بالإضافة إلى مكعب إضافي من الموارد. الاعتراض الثاني (P-Flub)، أو الاعتراض المستحيل، يعني أن اللاعب يعتقد أن اللاعب الأخير لا يستطيع إيجاد حل باستخدام المكعبات المطلوبة والمسموح بها والموارد. الاعتراض الثالث (CA-Flub) يعني أن اللاعب المعترض يعتقد أن اللاعب الأخير، أو لاعب سابق، قد أخطأ في الاعتراض الأول (A-Flub). بعد الاعتراض، يجب على لاعب واحد على الأقل تقديم حل صحيح مكتوب على ورقة.

يتم احتساب النقاط على النحو التالي:

يحصل اللاعب الفائز بالتحدي على 10 نقاط، بينما يحصل الخاسر على 6 نقاط . وإذا كان هناك لاعب ثالث، فعليه أن يختار بين الوقوف مع أو ضد المتحدي، ويحصل على نقاط بناءً على قراره.

الاسم هو تلاعب بكلمة Whiffenpoofs ، وهي فرقة غنائية بدون آلات موسيقية تأسست في جامعة ييل عام 1909. ^{[ 3 ]}

• الألعاب والألغاز ^{[ 4 ]}

• الألعاب الأكاديمية

• ألين، لايمان إي. (1975) [1962، 1966، 1970]. Wff 'n proof: the game of modern logic . Games for Thinkers. نيو هيفن، كونيتيكت، الولايات المتحدة الأمريكية: Autotelic Instructional Materials. OCLC 2970137 . 
• "WFF 'N PROOF: The Game of Modern Logic" . المتحف الوطني للتاريخ الأمريكي . 2014. مؤرشف من الأصل بتاريخ 3 يوليو 2022. تم الاطلاع عليه بتاريخ 3 يوليو 2022 .

• "WFF 'N PROOF: لعبة المنطق الحديث" . ألعاب للمفكرين . 2018. مؤرشف من الأصل بتاريخ 3 يوليو 2022. تم الاطلاع عليه بتاريخ 3 يوليو 2022 .