Как мы рассуждаем?

В пособии рассказывается, как научиться анализировать часто применяемые рассуждения и отличать правильные формы рассуждений от неправильных. Простейшие понятия логики высказываний и теории множеств излагаются доступным для учащихся языком и иллюстрируются примерами из школьного курса математики. В книге помещено много интересных логических упражнений и задач, дано описание простейшей «рассуждающей» машины. Пособие рассчитано на учащихся старших классов и учителей. ОГЛАВЛЕНИЕ Вместо предисловия 3 I. Как мы рассуждаем? 6 II. Немного истории 8 III. Высказывания и высказывательные формы .... 12 IV. «Не», «и», «или» 20 V. Обычная и необычная алгебры 31 VI. «Если..., то» 43 VII. Еще раз о том, как мы рассуждаем 50 VIII. Множества и еще одна модель булевой алгебры 66 IX. И еще раз о том, как мы рассуждаем 75 X. Контактные схемы 83 XI. Умеет ли машина рассуждать? 90 XII. Как мы доказываем? 94 XIII. Логические задачи 100