Математическая логика – эти слова все чаще можно услышать в разговорной речи, увидеть в газетных и журнальных статьях. Их употребляют не только ученые, инженеры и техники, машиностроители и учителя.
Человек издавна стремился к созданию приборов и машин, которые выполняли бы за него не только физическую, но и умственную работу. В настоящее время человечество имеет такие машины. Они в миллион раз быстрее их создателя и считают и вычисляют. Построены эти машины на основании данных математической логики. Математическая логика, и особенно ее составная часть – алгебра логики, - имеет глубокую принципиальную связь с теорией построения автоматов. Она послужила основанием для развития кибернетики – «этого высшего раздела автоматики, служащего созданию машин, продолжающих человеческий мозг».[1]
Законы мышления, предмет изучения логики, устанавливались древнегреческими учеными уже с 6 века до начала нашего летоисчисления. Формирование их происходило в ответ на запросы математики и астрономии. Одновременно с возникновением наук у древних народов создавались и накапливались правила, приводившие к истинным или ложным выводам.
[1] Э. Кольман. Значение символической логики. Сб.»Логические исследования». Изд. Академии наук, -М., 1959, с.15