Disputation

Owwen

Про цю гру

Диспут натхненний грою середньовічних філософів, які відточили свою пам’ять і навички логічного аргументування. Зокрема, я намагаюся (можливо, не зовсім точно) відтворити правила зобов’язальних диспутів Волтера Берлі. Гра пропонує вам послідовність тверджень. Ваша мета — вичерпати список тверджень запитувача, не заперечуючи собі. Якщо вам це вдається, той, хто запитує, визнає вашу надзвичайну кмітливість. Якщо вам не вдається, запитувач вказує на ваше протиріччя та запрошує спробувати ще раз.

Щоб зіграти в гру, ви погоджуєтесь або спростовуєте кожне твердження. Кожне твердження може бути істинним, хибним або невизначеним. Погодження з невизначеним твердженням робить його правдивим. Спростування невизначеного твердження робить його хибним. Однак, якщо твердження вже є істинним або хибним у результаті ваших попередніх виборів, ви повинні відповідним чином надати згоду на спростування.

Просте висловлювання складається з однієї частини, наприклад «Холодно». Оператор «і» складається з двох частин. Воно істинне, якщо обидві частини істинні, хибне, якщо принаймні одна частина невірна, і невизначене в іншому випадку. Твердження «або» є істинним, якщо принаймні одна частина істинна, хибним, якщо обидві частини є хибними, і невизначеним в іншому випадку.

Твердження «якщо … то …» є істинним, якщо його перша частина є хибною або якщо його остання частина є істинною. Це false, якщо перша частина істинна, а остання хибна. Інакше не вирішено.

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

Що нового

This is a maintenance release that updates the target API to 36.