Приложение для выполнения логических доказательств.
Aris поддерживает логику высказываний и логику предикатов, а также Булеву алгебру и арифметическую логику. В дополнение к предопределенным правилам следствий и эквивалентности, поддерживает ссылки на предшествующие доказательства. Благодаря применению стандартных логических символов и естественному интерфейсу логических заключений проста в освоении.
Сайт разработчика:
Разместил: