Диаграммы в математической логике

Буул Джордж (1815-1864)-английский математик, основоположеник математической логики.
Математическая логика-раздел математики, посвященный анализу методов рассуждений, при этом в первую очередь исследуется форма рассуждений,а не их содержание, т.е. исследуется формализация рассуждений. Формализация рассуждений восходит к Аристотелю. Современный вид Аристотелева(формальная) логика приобрела во второй половине 19 века в сочинении Джорджа Бууля «Законы мысли».

Введение…………………………………………………………………………3
Основная часть
1.Математическая логика и диаграммы……………………………………………………………………….4
2. Этапы развития математической логики……………………………………………………………………………5-6
3.Логические диаграммы………………………………………………………………………7
3.1.Круги Эйлера……………………………………………………………………………8
3.2.Диаграмма Венна. Разновидности диаграмм Венна……………………………………………………………………………..9-12
Заключение………………………………………………………………………14
Список использованной литературы………………………………………………………………………15