С деревом текущей реальности все просто: утверждения, используемые в нем, – это либо причины, либо следствия, либо и то и другое одновременно (причина одного события сама является следствием другого). Так и выстраиваются цепочки причин и следствий.
Стрелки
Стрелки используются во всех инструментах ТОС, но могут при этом обозначать совершенно различные виды связей между утверждениями. В деревьях текущей реальности, будущей реальности и плане преобразований стрелки отражают достаточность существования причины для наступления события. В диаграмме «Грозовая туча» и дереве перехода стрелки передают необходимость, но не обязательно достаточность существования первого утверждения для наступления второго (см. раздел «Необходимость и достаточность – основа построения логических деревьев» главы 2).
В ДТР стрелка отражает достаточность: причина, от которой начинается стрелка, является достаточной для появления результата, на который стрелка указывает. Чтобы озвучить эти отношения, нужно добавить «если» к утверждению причины и «то» к утверждению следствия:
Однако нужно быть осторожным с использованием и чтением стрелок в ДТР. В приведенном примере скрывается ловушка (рис. 3.17): подразумевается, что, во-первых, за пределами комнаты темно (сейчас ночь) и, во-вторых, в комнате нет окон или других отверстий, пропускающих свет. Эти предположения не включены в логическое построение, но они присутствуют и непосредственно влияют на правильность установленных связей.
Исходные предположения
За каждой стрелкой в ДТР лежат некие не озвученные, но обязательно существующие предположения, касающиеся рассматриваемой ситуации в целом, граничных условий или физики явлений. Рассмотрим пример из двух утверждений, связанных стрелкой (рис. 3.18):
При этом подразумевается, но не говорится о том, что на объекты действует сила притяжения Земли. Вы, наверное, подумаете: «Ну, конечно, это само собой разумеется, она действует всегда». Но сила притяжения важна не всегда. Космонавтам на орбите не приходится волноваться о том, что стакан упадет на пол; скорее им нужно беспокоиться, что он куда-нибудь улетит, ведь в этом случае исходная предпосылка (наличие гравитации) не работает. В результате при смене исходных условий мы можем получить разные результаты. Когда строите или анализируете логические деревья, не забывайте проверять, какие предположения важны для корректности каждой прорисованной связи и имеют ли смысл указанные причинно-следственные отношения в данных условиях. Более подробно об анализе причинно-следственных связей говорится в главе 2 «Критерии проверки логических построений».
Эллипсы
Эллипс применяют в диаграммах, использующих логическое «И» (дерево текущей реальности, будущей реальности, перехода). Его задача – объединить несколько необходимых причин, которые в совокупности достаточны для возникновения некоторого результата (рис. 3.19). Если отсутствует любая из причин, объединенных эллипсом, то не будет иметь место и следствие этих причин, т. е. причинно-следственная связь нарушается. На практике разработчики пропускают сам эллипс, т. е. упускается существенное условие наступления некоторого события.
Вспомним недавний пример: «ЕСЛИ я выключаю свет, ТО в комнате темно». Вероятно, чтобы в комнате стало темно, недостаточно просто выключить свет (рис. 3.20). Можно добавить еще причину «ЕСЛИ в комнате нет окон», но и этого недостаточно, поэтому прибавляем «ЕСЛИ единственная в комнате дверь закрыта». Вот теперь это «строгое» построение.
Помните, мир многогранен. У большинства явлений несколько причин, самостоятельных или взаимозависимых. Самостоятельной считается причина, которой самой по себе достаточно для наступления события. Если у одного явления имеется несколько самостоятельных причин, их обычно называют альтернативными (см. раздел «Альтернативная причина» в главе 2). Необходимая, но не достаточная причина может привести к появлению следствия только в совокупности с другими факторами, объединенными на рисунке эллипсом. Необходимо тщательно проверять существование связей и зависимостей между уже выстроенными утверждениями.