{{ t('В программе Syll (v.1.0 – демонстрационная 2019-2020 гг.) вместо традиционных 18-40 («классических») силлогизмов Вы получите правильный, логически и формульно обоснованный вывод для любого набора 2-ух исходных суждений. Расчёт основан на конструктах универсумной (U) логики и предназначен для демонстрации полного соответствия суждений силлогизмов всем нормам формальной логики (включая алгебру Буля), что открывает реальную возможность создания программно-диалоговых систем искусcтвенного интеллекта.') }}
Шаг 1. Введите три исходных понятия силлогизма в окнах X, Y и Z (по умолчанию стоят слова «Сократ», «Смертность» и «Человек\Люди») для получения шаблона силлогизма. Количество символов не ограничено;
Шаг 2. Определите порядок и тип первого суждения, а также порядок и тип второго суждения, результат сразу же отображается в схеме силлогизма и выводе
Шаг 3. Проверьте в окне «Схема силлогизма» соответствие введённой информации (X, Y, Z) общей схеме расчёта. Для изменения порядка переменных в логическом выводе (Суждении 3) используйте флажок «Изменить порядок вывода на X-Y»
Шаг 4. В окне «третье суждение (вывод)» проверьте полученный логический вывод – Суждение 3