WFF N ДОКАЗАТЕЛЬСТВО - WFF N PROOF - Wikipedia

WFF 'N ДОКАЗАТЕЛЬСТВО это игра современной логики, разработанная, чтобы научить принципам символическая логика. Его разработал Лайман Аллен.[1] бывший профессор Йельская школа права и университет Мичигана.

Правила

В игре игроки должны уметь распознавать "правильно сформированная формула "(WFF) в Обозначение Лукасевича, и использовать правила логики для преобразования этих WFF в доказательство. В игры играют в группах по двое или трое. Первый игрок бросает кубики и устанавливает WFF в качестве цели. Цель - заключение доказательства. Затем каждый игрок пытается построить доказательство, которое заканчивается целью. Решение цели - это посылки, с которых они начали доказательство, и правила, которые они использовали для достижения цели.

Игроки по очереди переходят к разделам ковра «Основы», «Разрешенные помещения» или «Разрешенные правила». Любой куб, перемещенный в Essentials, должен использоваться в любом Решении и должен быть важной частью этого решения; любой куб в Разрешенном помещении можно использовать как часть помещения; любой куб в разрешенных правилах может использоваться как часть правила. Таким образом, игроки сами формируют Решение, заставляя друг друга создавать новые Решения в ответ на ходы.

В любой момент игрок может бросить вызов последнему ходу, если почувствует, что последний совершил ошибку. Есть три типа испытаний. A-Flub означает, что Претендент может принять Решение, используя кубы из Обязательных и Разрешенных и еще один куб из Ресурсов. P-Flub или Challenge Impossible означает, что игрок считает, что Движущий не может принять решение, используя кубы в разделах «Требуемые», «Разрешенные» и «Ресурсы». C-A-Flub означает, что претендент считает, что Mover или какой-либо предыдущий игрок пропустил A-Flub. После испытания хотя бы один игрок должен показать правильное Решение на бумаге.

Подсчет очков происходит так:

Игрок, выигравший испытание, получает 10 очков.
Проигравший получает 6 очков.
Если есть третий игрок, он должен встать на сторону Претендента или против него и набирать очки в зависимости от этого решения.

Смотрите также

Рекомендации

  1. ^ Рэйчел Эрхенберг (2002). «Он позитивно логичен». Мичиган сегодня. Архивировано из оригинал на 2009-02-08. Получено 2008-08-31.

внешняя ссылка