Смысл и область
Посылки связываются с одной областью и версиями значений S/M/P. Изменение смысла среднего термина блокирует вывод. Нормативное и описательное суждения требуют разных контекстов.
СИЛЛОГИСТИКА · 2D / 3D
Следует ли заключение из посылок?
Выберите модус или измените суждения. Проверка покажет допустимую модель, контрпример и границы переноса в геометрию.
Посылки и заключение
«Все» допускает пустой класс. «Некоторые» требует хотя бы одного объекта. S — субъект, M — средний термин, P — предикат заключения.
Скачать карточку и расчётРезультат проверки
Посмотреть карточку JSON
Карточку можно выделить и скопировать целиком.
Проверяется следование в явно заданной модели. Истинность исходных посылок не установлена. Учебный свидетель не является измеренным объектом; переход к будущему моменту требует отдельного закона динамики.
АТЛАС ИЗ ИСТОЧНИКА
Один смысл — два изображения
Схемы KLT-SYL-DK v1.1 сохранены из авторского источника от 17 сентября 2026 года. Нажмите на схему, чтобы открыть её в полном размере.
Проверить перенос точки
В 2D: h(x,y) = (x/(1+x/8), y/(1+x/8)), полюс x=−8 исключён. В 3D: L(x,y,t) = (tx,ty,4t); t положителен, общая вершина исключена. Обратный расчёт восстанавливает исходную точку.
ДОПОЛНЕНИЕ К МЕТОДУ
Как ошибки посылок ограничивают вывод
Здесь используется одна общая вероятностная мера μ на X. Эти величины описывают массы множеств и не равны дефекту λ. Числа являются условными входными данными.
При Barbara/Celarent нарушения могут складываться. При Darii/Ferio существование гарантируется только при строго положительной нижней границе массы свидетелей. Одинаковый знаменатель нормировки обязателен.
Что внесено в KLT-RBD
Логическая проверка
Восемь атомов принадлежности дают полный перебор форм A/E/I/O. Противоречивые основания сохраняют ABSTAIN. Карточка экспортирует формулы, модель и результат.
Геометрия и основание
Общий инъективный перенос сохраняет отношения. Сжатие допустимо для выбранных терминов лишь при одинаковой принадлежности внутри каждого склеиваемого слоя. Dg — точка; D — основание с источником.
Карта ролей U/I/R/D и границы её применимости · Связь с проективной динамикой RUN-035
Дезарг–Курпишев: условная конструкция
Чертёж проверяет конкретную конструкцию H = I₃ + αvℓᵀ. Он не закрывает общий вывод оси из двух коник. Гармоничность проверяется отдельно: λ = cr(U,I;R,Dg). Чистая проективность сохраняет λ и его дефект.
DK-PO-1 и DK-PO-2 остаются открытыми. Подробный исходный разбор.
Научный текст и материалы
Определения и доказательстваPDFНаучный текст RU / EN / 中文TeXИсследовательский комплектРеестр источников
Автор проекта и постановки: Курпишев Иван Борисович. Классические модусы и теорема о переносе не объявляются новым открытием; данный выпуск добавляет исполнимую проверку, типизацию и расчёт условных границ.