Quod Erat Demonstrandum

Каждый аргумент начинается с набора предпосылок, которые, если они верны, требуют некоторого вывода. Ваша задача — доказать, что вывод действительно следует. Имея набор предпосылок, применяйте правила вывода и замены для вывода новых предложений — шаг за шагом — пока не придете к выводу. Каждый уровень представляет собой доказательство, ожидающее завершения. Будучи новым осознающим разумом, каждое доказательство исследует темы бытия и сущности, добродетели, души, причинности и поиска истины. Проще говоря, вы — разум, прокладывающий путь от первых принципов к пониманию. Особенности: 120+ созданных вручную уровней, охватывающих логику высказываний и исчисление предикатов, уровни различаются как тематически, так и механически. 23 правила логики — 7 правил вывода (Modus Ponens, Modus Tollens, гипотетический силлогизм и т. д.), 11 правил замены (двойное отрицание, законы Де Моргана, транспонирование и т. д.) и 5 правил кванторов (универсальное/экзистенциальное создание и обобщение, отрицание квантора) Мягкая кривая обучения — 18 уровней обучения знакомят с одним правилом за раз, переходя от простых одношаговых доказательств к многошаговым цепочкам. Большая сложность — более поздние уровни включают вложенные кванторы, области с множеством переменных и доказательства, требующие более 10 шагов вывода. Интуитивный интерфейс перетаскивания — вставляйте предложения в правила, смотрите результат и создайте свой этап доказательства по системе StepPar — каждый уровень имеет оптимальную длину решения; Сможете ли вы найти самое короткое доказательство? Нет ограничений по времени — думайте столько, сколько вам нужно; каждое доказательство ждет вас. Более 60 достижений Steam — вехи, испытания на освоение правил и скрытые достижения для тех, кто завершает работу. Сохранения в облаке — продолжайте с того места, на котором остановились, на любой машине.