WikiDer > WFF N PROOF - Википедия
 | Эта статья нужны дополнительные цитаты для проверка. (Апрель 2017 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
WFF 'N ДОКАЗАТЕЛЬСТВО это игра современной логики, разработанная, чтобы научить принципам символическая логика. Его разработал Лайман Аллен.[1] бывший профессор Йельская школа права и университет Мичигана.
Правила
В игре игроки должны уметь распознавать "правильно сформированная формула"(WFF) в Обозначение Лукасевича, и использовать правила логики для преобразования этих WFF в доказательство. В игры играют в группах по двое или трое. Первый игрок бросает кубики и устанавливает WFF в качестве цели. Цель - заключение доказательства. Затем каждый игрок пытается построить доказательство, которое заканчивается целью. Решение цели - это посылки, с которых они начали доказательство, и правила, которые они использовали для достижения цели.
Игроки по очереди переходят к разделам ковра «Основы», «Разрешенные помещения» или «Разрешенные правила». Любой куб, перемещенный в Essentials, должен использоваться в любом Решении и должен быть важной частью этого решения; любой куб в Разрешенном помещении можно использовать как часть помещения; любой куб в разрешенных правилах может использоваться как часть правила. Таким образом, игроки сами формируют Решение, заставляя друг друга создавать новые Решения в ответ на ходы.
В любой момент игрок может бросить вызов последнему ходу, если почувствует, что последний совершил ошибку. Есть три типа испытаний. A-Flub означает, что Претендент может принять Решение, используя кубы из Обязательных и Разрешенных и еще один куб из Ресурсов. P-Flub или Challenge Impossible означает, что игрок считает, что Движущий не может принять решение, используя кубы в разделах «Требуемые», «Разрешенные» и «Ресурсы». C-A-Flub означает, что претендент считает, что Mover или какой-либо предыдущий игрок пропустил A-Flub. После испытания хотя бы один игрок должен показать правильное Решение на бумаге.
Подсчет очков происходит так:
Игрок, выигравший испытание, получает 10 очков.
Проигравший получает 6 очков.
Если есть третий игрок, он должен встать на сторону Претендента или против него и набирать очки в зависимости от этого решения.
Смотрите также
Рекомендации
- ^ Рэйчел Эрхенберг (2002). «Он позитивно логичен». Мичиган сегодня. Архивировано из оригинал на 2009-02-08. Получено 2008-08-31.
внешняя ссылка
- "WFF 'N PROOF: Игра современной логики". Национальный музей американской истории.
- Аллен, Лейман Э. (1975). Wff 'n proof: игра современной логики. Игры для мыслителей. Нью-Хейвен, Коннектикут: Учебные материалы Autotelic. OCLC 2970137.
- WFF 'N ДОКАЗАТЕЛЬСТВО. Игры для мыслителей.