1. * (vldkvp@gmail. com) 2024/03/03 14:57
[ответить]
Теперь уже выяснилась некоторая определенная связь двузначной классической логики с логикой предикатов,или также более явно,логики высказываний с логикой силлогизмов .То есть классическая бинарная логика представляет по существу ту же самую логику предикатов,но как бы в некотором урезанном виде,то есть как некоторая ее часть,если при этом убрать неопределенный квантор "некоторые ",выраженный в логике предикатов как выражение "существует такой-то элемент " .То же будет представлять и логика высказываний по отношению к логике силлогизмов ,которая по существу будет той же самой силлогистической теорией ,в которой сократили или убрали из применения неопределеннный квантор "некоторые ",а квантор "все " просто не записывается ,но подразумевается,обозначая только ,что данный объект существует в наличии ,или имеется, присутствует ,в отличии от квантора "отрицания ",обозначающего отрицание или отсутствие данного объекта .То же и в двузначной логике ,квантор "все" не обозначен ,но имееется ввиду .Таким образом обнаруживается некоторая единая связующая нить между двумя разновидностями логик,представленных старейшими,возникших в древности,и новейшими ,полученных в современной математике.Остается только оформить математически .Но и этого недостаточно,так как нужна еще при этом графическая наглядность .В этом,полагаю, может несомненно помочь теория множеств с ее пересекающимися и закрашенными кругами ,наглядно показывающие или демонстрирующие различные теоретико-множественные операции ,такие как объединение,пересечение ,включение и так далее .Но при этом считаю необходимо немного иначе видоизменить теорию множеств ,достаточно посчитав ,что операция пересечения множеств может включаться как часть в операцию объединения множеств,а операцию включения множеств считать разновидностью операции пересечения множеств .Ну,а совмещение множеств будет одновременно в себе сочетать и объединение,и пересечение и включение соответствующих множеств .Тогда логические формулы можно проще простого отображать на диаграммах данной преобразованной теории множеств ,без всякого ущерба в логическом осмыслении или недопонимании той или иной операции ,которая характерна для той или иной логической теории .