Цитата(lord_wil @ 14.05.2006 0:00)
Как тогда записать цепочку?
lord_wil, ты тут вводишь некое новое понятие: цепочка - и пытаешься его формализовать. По сути, ты (или автор той "литературы") волен поступить, как угодно - либо придавать стрелке смысл следствия из ближайшего предыдущего утверждения, либо из начального. Последнее означает, что если хоть раз в цепочке встретилось одностороннее следствие, то его так и следует писать до конца. Преимущество в том, что в конце, как бы ни была длинна цепочка, ты заметишь, что тебе надо проверить найденные решения - нет ли среди них лишних. Но мне кажется, что это не очень правильно.. Лично я придерживался бы записи (1).
Я тут исходил из того, что твои расстановки значков следствия верны, но я бы хотел взглянуть на ту "литературу", на которую ты ссылаешься, чтобы убедиться, прежде чем окончательно ее осуждать..