В пособии рассказывается, как научиться анализировать часто применяемые рассуждения и отличать правильные формы рассуждений от неправильных. Простейшие понятия логики высказываний и теории множеств излагаются доступным для учащихся языком и иллюстрируются примерами из школьного курса математики.
В книге помещено много интересных логических упражнений и задач, дано описание простейшей «рассуждающей» машины. Пособие рассчитано на учащихся старших классов и учителей.
ОГЛАВЛЕНИЕ
Вместо предисловия 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
