Операция ИЛИ, так это же просто - все в кучу, кто первый - тот и вышел. А где же подразумеваемый выбор "или-или"? И где вообще, выбор, в базовых операциях?

Для организации выбора в автоматическом режиме нужно поменять направление движения. Нужен коммутатор или разветвитель. Это, чтобы вход был один, а выходов - не менее двух. Вот тогда - выбор. Или направо, или - налево...

Но, такой схемы в логических элементах нет.

Потому, что эта логика создавалась под математику. А вроде бы, должно было быть наоборот. Вот потому и не сходится эта математическая логика с нашей. Но, как сделано, так сделано, чего уж теперь...

Понятно, что эти критические замечания могут вызвать только ухмылку. Под эту математическую логику такой математический аппарат отгрохан - закачаешься, на этом всё программирование держится, да и все вычисления построены на этой логике. Тут поздно что-то менять.

Конечно. Тут - поздно. Тогда нужна другая логика.

И новый набор базовых операций. Вот уж тут-то можно всё учесть...

Но, для этого надо понять - что было, и что - надо. Это оказалось совсем не просто. Снова, математические логики:

Булева логика.

Троичная логика Н.Брусенцова

Счетная логика (симметричный и несимметричный варианты dual rail).

n- мерная логика.

Логика высказываний

Логика предикатов

Логика событий

Система базовых операций или функций, одна и та же. Выбирать не из чего. А подумать - есть. И пофилософствовать...

Что есть логика?

Без экскурса в историю. Без подглядывания в словари. Там всё понятно, умно и правильно. А вот если своими словами, жутко неправильно, но, все же, сформулировать свое ощущение. Логика, это ...

Возможно, это способ в известных условиях найти обоснованный ответ на поставленный вопрос и принять решение? Возможно.

Или метод, как найти причину из условий имеющегося набора следствий? И это возможно.

Мы что-то сопоставляем, как-то выбираем наиболее обоснованные варианты, сравниваем, снова выбираем, и, наконец, принимаем решение. Да, это так.

Или не так? Мы крутим аргументы и факты, и так, и эдак, а ответ всё никак не находится. Почему-то ответов у нас всегда много, но нужен-то только один. Какой?

И мы снова идем по уже знакомому кругу. Нет однозначного ответа. И так можно сказать, и так, да и вот так - тоже. И все ответы будут правильными, не совсем, но ..., вполне логичными. Все они чем-то подтверждаются, как-то обосновываются. Выбрать один очень непросто. А почему нам нужен только один ответ?

Или так. Задан простенький вопросик, например, почему небо - голубое?

И начинается.... Потому, потому и потому... и нет конца этому логическому ответу. Откуда берутся эти многочисленные "потому"? В вопросе их не было. Из чего они появились? Из простой связки: небо - голубое...

Мы, из двух слов построили целую цепочку связей, уходящую в бесконечность. Оценили связи, выбрали что-то, сравнили с чем-то, нашли наиболее важные, по ним задали себе вопросы, нашли ответы, и опять выбрали, сложили все результаты в одно изложение, сделали оценку уровня собеседника, скорректировали свои ответы на него и ... наконец-то, начали излагать... логический ответ.

Да, ни одна принятая учеными система логики не справится с такой задачей самостоятельно..., ни одна. Почему?

Потому, что все системы логики одностороннего принципа действия. Они нацелены на ... ответ. На систему разрешенных ответов.

В этом просматривается результат. И логичность принятых систем оценивается по степени адекватности получения именно такого результата. Ответ должен быть адекватен поставленному вопросу. И он должен быть обоснованным. Тогда он признается ... логичным.

Конечно, если логика идет к результату через простые операции, то надо учитывать хотя бы вес того или иного ответа при отборе. Естественно, в ход идут вероятностные оценки. Да, с вероятностью 54% ..., вполне обоснованно, а нам что с этим ответом делать? Но, все экспертные системы работают так. Они выдают результат, а решать - нам.

И автоматические системы управления оценивают ситуацию точно так же, принимают решения, и действуют. Но наблюдатель-то им все равно нужен..., вот и сидим, контролируем действия, вмешиваемся..., помочь чаще всего уже не успеваем, но важный вид делаем. А потом исправляем последствия.

Что поделаешь, автоматика дала сбой.

Нет, это система логики дала сбой. Автоматика его только реализовала.

Так, что же такое - логика? Система правил, система мышления, система поиска ответа? Наверное...