ЛОГИКА ДЛЯ ПСИХОЛОГОВ

y

ПРОГРАММЫ

главная

учеба

программы

спецкурс

ссылки

об авторе

Пока в этом разделе всего одна программа - LogicPro.
Это специальный настольный программный продукт для логиков и сочувствующих им.
В него включаются:
- аналитические таблицы для формул языка классической логики высказываний;
- "прувер" - автоматический "доказыватель" теорем в системе натурального вывода классической логики высказываний;
- таблицы истинности для формул языка классической логики высказываний.
Все эти встроенные программы работают в автоматическом режиме, то есть, таблицы или доказательство автоматически генерируются соответствующей программой для введенной Вами формулы. Это позволяет использовать LogicPro в качестве домашнего инструктора-контролера.

Кроме того, для продвинутых пользователей в интерфейсе LogicPro предусмотрена возможность самостоятельно задавать табличное (матричное) построение для любых многозначных логик.

Итак, Вы хотите скачать LogicPro? Да!