Wirelogic

Дошка починається з ваших блоків приміщень і цілі. Виберіть правило виведення з палітри, а потім клацніть потрібні блоки введення; якщо вони підходять, правило отримує новий блок, підключений до його входів. Правила ланцюжка, поки ви не досягнете мети. Щоб довести імплікацію, додайте припущення та розрядіть його за допомогою імплікації-введення.

• Виберіть таке правило, як modus ponens, and-introduction або and-elimination
• Клацніть його блоки введення, щоб отримати нову пропозицію
• Додайте припущення, щоб довести імплікацію, а потім застосуйте імплікацію-введення
• Засвітіть ворота за якомога меншою кількістю правил, щоб перевершити номінальний рівень

• Щодня: фіксована головоломка, якою діляться щодня
• Практика: свіжі рандомізовані головоломки

• Робочий стіл: клацніть правило, а потім клацніть блоки введення на полотні; Доступні функції «Скасувати», «Скасувати правило», «Очистити дошку» та «Новий».
• Телефон і планшет: торкніться правила та торкніться блоків, щоб з’єднати їх (тільки мишкою або дотиком)

• Попрацюйте назад від цілі, щоб побачити, яке правило її створює, а потім отримайте вхідні дані цього правила
• Коли мета є наслідком, припустіть її попередній початок і прагніть вивести наслідок перед тим, як розряджатися

Wirelogic побудовано на природній дедукції, перетворюючи формальні правила доказу на головоломку проводів.

• Навички: природна дедукція, формальна логіка, правила доведення
• Найкраще для: середньої школи / коледжу
• Для батьків і вчителів: натуральне відрахування, формальне підтвердження.

Рух від блоків-засновків до мети вибором правил виведення — це формальна дедукція, практика, що тягнеться від силогізму Аристотеля до сучасних систем доведення.

Деталь задуму, що справді навчає, — правило спрацьовує, лише якщо його входи справді пасують.

Саме в цьому вся різниця між міркуванням і ствердженням. Аргумент, що здається правильним, але не відповідає формі жодного правильного правила, — саме та помилка, для виявлення якої винайшли формальну логіку, і неможливість силоміць встановити зв’язок повчальніша, ніж позначка «неправильно».

Wirelogic — це оригінальна безкоштовна логічна гра для браузера, побудована на природних дедукціях, яка перетворює формальні правила доказів на блоки, які можна з’єднати, щоб структуру дійсного аргументу стало чимось, що ви можете побачити та створити.

Переглянути всі ігри →