Математическая логика

Решать логические задачи очень увлекательно. В них вроде бы нет никакой математики - нет ни чисел, ни функций, ни треугольников, ни векторов, а есть только лжецы и мудрецы, истина и ложь. В то же время дух математики в них чувствуется ярче всего - половина решения любой математической задачи (а иногда и гораздо больше половины) состоит в том, чтобы как следует разобраться в условии, распутать все связи между участвующими объектами. Есть люди, для которых решение логической задачи - увлекательная , но несложная задача. Их мозг как луч прожектора сразу освещает все хитроумные построения, и к правильному ответу он приходит необычайно быстро. Замечательно, что при этом он и не могут объяснить, как они пришли к решению. "Ну это же очевидно, ясно", - говорят они. "Ведь если ... " - и они начинают легко распутывать клубок противоречивых высказываний. "Действительно, все ясно", - говорит слушатель, огорченный тем, что он сам не увидел очевидного рассуждения. Согласитесь, что такое же ощущение часто возникает при чтении детективов. Итак, мы узнаем, как разными способами можно решать логические задачи. Оказывается таких приемов несколько, они разнообразны и каждый из них имеет свою область применения.