Материальная импликация

Истинно или ложно утверждение: Если A, то B.

Мир один, целостен, непротиворечив по всем вложенным друг в друга своим объектам. Вне Мира – тот же Мир. §3.19.

Материя Мира есть поток математических моделей или любая изоморфная ему сущность. §3.4.

Движение материи есть движение информации §3.5.

Любая теорема в математике верна в строго заданной области определения, в некотором объекте Мира.

На любое утверждение можно смотреть как на теорему.

Таким образом, если мы получаем противоречие, то это просто означает, что неверна посылка для вывода и мы взводим флажок «Ложь», хотя могли бы взвести флажок «Истина», если не боимся ничего перепутать.

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

Если мы посмотрим на логику работы любой компьютерной программы, то мы легко увидим, что у программистов нет никаких проблем ни с Ложью, ни с Истиной. Вычисляется значение логического выражения и в зависимости от результата управление передается на ту или иную ветку кода программы.

Таким образом, в компьютерной программе из «Истины» следует выполнение одной единственной и вполне конкретной ветки программы, а из «Лжи» следует выполнение другой одной единственной и так же вполне конкретной ветки программы.

Этот пример необходимо распространить на любой целостный объект Мира – любой объект Мира развивается по вполне определенным законам. И если мы написали, что из А следует Б, то это просто означает, что во вполне конкретно определенном классе однотипных объектов при определенных условиях объект переходит из одного определенного состояния в другое определенное состояние. И если первое состояние объекта содержит структуру А, то второе состояние объекта будет содержать структуру Б.