Пространственная логика конфликта выпуклых множеств

В статье апробируются методы логического ветвления высказываний теории выпуклых множеств. Представленная работа опирается на концепцию Аристотелевского Категорического Силлогизма (АКС), выполняющего многократный вход в результат логического вывода с помощью конъюнкции -И- . Формальное инвертирование импликаций, составляющих АКС, позволяет интерпретировать его для выполнения дизъюнктивного ветвления предиката на выходе из него. В результате имеем логическое разложение предиката на следующие из него утверждения, группирующиеся вокруг союза -ИЛИ- . Для полноты картины добавим ещё два вида ветвления: дизъюнктивный вход и конъюнктивный выход, которые трудностей в понимании и применении не представляют. В математике проблемы концентрируются вокруг АКС-ветвлений. Четыре вида логического ветвления в сочетании со связями Передачи Управления (ПеУ – то же, что GoTo) демонстрируются решением задачи разбиения векторного пространства на два непересекающихся выпуклых множества. Показано, что пересечение их замыканий, далее называемого трещиной векторного пространства, представляет собой гиперплоскость. ВМ не обязано быть замкнутым или открытым.