Логика

«Мы употребляем знаки не только для того, чтобы передать наши мысли другим лицам, но и для того, чтобы облегчить сам процесс нашего мышления» (Лейбниц).

Математика является наукой, в которой все утверждения доказываются с помощью умозаключений, то есть путем использования законов человеческого мышления. Изучение законов человеческого мышления является предметом логики.

Как самостоятельная наука логика оформилась в трудах греческого философа Аристотеля (384-322 г. до н.э.)- Он систематизировал известные до него сведения, и эта система стала впоследствии называться формальной или Аристотелевой логикой. Формальная логика просуществовала без серьезных изменений более двадцати столетий. Естественно, что развитие математики выявило недостаточность Аристотелевой логики и потребовало дальнейшего ее развития.

История развития математической логики.
Понятие высказывания
Логические операции над высказываниями
Формулы алгебры логики
Равносильные формулы алгебры логики
Алгебра Буля
Функции алгебры логики
Формы представления логических функций