Исходные предположения

Исходные предположения

За каждой стрелкой в ДТР лежат некие не озвученные, но обязательно существующие предположения, касающиеся рассматриваемой ситуации в целом, граничных условий или физики явлений. Рассмотрим пример из двух утверждений, связанных стрелкой (рис. 3.18):

«ЕСЛИ я столкну стакан со стола, ТО он упадет на пол».

При этом подразумевается, но не говорится о том, что на объекты действует сила притяжения Земли. Вы, наверное, подумаете: «Ну, конечно, это само собой разумеется, она действует всегда». Но сила притяжения важна не всегда. Космонавтам на орбите не приходится волноваться о том, что стакан упадет на пол; скорее им нужно беспокоиться, что он куда-нибудь улетит, ведь в этом случае исходная предпосылка (наличие гравитации) не работает. В результате при смене исходных условий мы можем получить разные результаты. Когда строите или анализируете логические деревья, не забывайте проверять, какие предположения важны для корректности каждой прорисованной связи и имеют ли смысл указанные причинно-следственные отношения в данных условиях. Более подробно об анализе причинно-следственных связей говорится в главе 2 «Критерии проверки логических построений».

Данный текст является ознакомительным фрагментом.