![](/statics/img/blank.png)
Natural Deduction 1.5
Лицензии: Бесплатный Размер файла: 1.15 MB
Рейтинг пользователей: 0.0/5 - 0 Голосов
Подождите... Ваша ссылка на загрузку проверяется на вредоносный контент.
Вы сможете скачать в течение 5 секунд.
Вы сможете скачать в течение 5 секунд.
О Natural Deduction
Играть с этим приложением и построить некоторые доказательства в естественном стиле вычета. Нажатие на формулу автоматически расширяет ее возможными правилами. Предположения печатаются синим цветом. Выбранный один из них генерирует новое подтри. Прикрепление двух деревьев делается путем перетаскивания корня первого к листу второго. Если есть только одна возможность, это вложение выполняется автоматически. Доказательство делается, когда дерево окружено красным прямоугольником.
Веселитесь! Логика это весело