"Рыцари ЭМО"

Люцифер

10 мая CE 2010 01:35

В ответ на "Рыцари ЭМО" (Джек, 09 мая CE 2010 22:55)

> Что бы сделать логический вывод необходимо иметь определенные вводные. Не неопределенные, с ними логика работать не может, а определенные.

Конечно, но определенные - не значит конечные.

> ? В условиях задачи неявно заданы границы возможных решений, за которые выйти невозможно. Для того, что бы выйти за эти границы необходимо поменять условия.

И в чем проблема? Это не математическая задача, нет никаких жестко заданных границ возможных решений. Если они задаются жестко - то условие становится ответом, отсекая любые иные возможности.

> Условие не может быть ответом.

Совершенно верно, с точки зрения логики условие не может быть ответом. Однако, в твоем примере - условие является ответом. Если ввести условие "Вася ловит рыбу" то логически невозможно сделать вывод, что именно Вася поймал рыбу. Можно сделать лишь один вывод: "Вася мог быть тем, кто поймал рыбу". Чтобы прийти к выводу "Вася поймал рыбу" нужно ввести условие "Никто кроме Васи не мог этого сделать". Условие становится ответом.

В твоем примере, условие "ФСБ коварно убивает" не дает логических оснований сделать вывод, что это сделало именно ФСБ. Можно сделать лишь вывод: "Это могло быть ФСБ". Чтобы сделать первый вывод нужно ввести условие: "Никто кроме ФСБ не мог этого сделать" - условие становится ответом.