Силлогистика — история изменений

Перейти к навигации Перейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предыдущей версии; м — малые изменения.

1 марта 2025

  • текущ.пред. 08:4908:49, 1 марта 2025 imported>Буратинатор 18 237 байт +18 237 Формализация теории аристотелевых силлогизмов: В качестве правил вывода в системе формализованной силлогистики FS принимаются два правила подстановки и правило заключения modus ponens: - В качестве правил вывода в системе формализованной силлогистики FS принимаются два правила подстановки и правило заключения modus ponens [источник не указан 1740 дней].