Лекс (13:47:18 26/02/2011)
а первая логика... щас скажу, порадуешься на формулировку ))
Лекс
первая логика уверена в том, что выстроенная логическая конструкция имеет право на существование. И всё. Уверенность в том, что эту конструкцию можно пихать здесь и сейчас, там автоматом не прилагается )
если 1л что-то уверенно говорит - она всего лишь уверена в том, что при данных вводных существует такой вывод. ))
Лекс
уверенность, что вводные даны целиком, что вывод - единственный из возможных... ну и так далее - это не по умолчанию и не у всех )
Лекс
соответственно, первая логика уверена в себе, когда находится _внутри_ выстраиваемой логической конструкции )
Лекс
там её реально просто перепутать с первой волей. Но вынеси ты первого логика, прикрывшегося конструкцией, наружу... Будет интересное зрелище )


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