З’єднайте блоки правил висновку разом у граф доказів, пропускаючи приміщення через правила, доки вузол цілі не засвітиться зеленим.
Як грати
Дошка починається з ваших блоків приміщень і цілі. Виберіть правило виведення з палітри, а потім клацніть потрібні блоки введення; якщо вони підходять, правило отримує новий блок, підключений до його входів. Правила ланцюжка, поки ви не досягнете мети. Щоб довести імплікацію, додайте припущення та розрядіть його за допомогою імплікації-введення.
Виберіть таке правило, як modus ponens, and-introduction або and-elimination
Клацніть його блоки введення, щоб отримати нову пропозицію
Додайте припущення, щоб довести імплікацію, а потім застосуйте імплікацію-введення
Засвітіть ворота за якомога меншою кількістю правил, щоб перевершити номінальний рівень
Режими гри
Щодня: фіксована головоломка, якою діляться щодня
Практика: свіжі рандомізовані головоломки
Елементи керування
Робочий стіл: клацніть правило, а потім клацніть блоки введення на полотні; Доступні функції «Скасувати», «Скасувати правило», «Очистити дошку» та «Новий».
Телефон і планшет: торкніться правила та торкніться блоків, щоб з’єднати їх (тільки мишкою або дотиком)
Поради та стратегія
Попрацюйте назад від цілі, щоб побачити, яке правило її створює, а потім отримайте вхідні дані цього правила
Коли мета є наслідком, припустіть її попередній початок і прагніть вивести наслідок перед тим, як розряджатися
Що ви дізнаєтесь
Wirelogic побудовано на природній дедукції, перетворюючи формальні правила доказу на головоломку проводів.
Навички: природна дедукція, формальна логіка, правила доведення
Найкраще для: середньої школи / коледжу
Для батьків і вчителів: натуральне відрахування, формальне підтвердження.
Про Wirelogic
Wirelogic — це оригінальна безкоштовна логічна гра для браузера, побудована на природних дедукціях, яка перетворює формальні правила доказів на блоки, які можна з’єднати, щоб структуру дійсного аргументу стало чимось, що ви можете побачити та створити.
