План:

Введение

1. Предмет математической логики.

2. Калькуляция высказываний.

3. Заключение.

Библиография

В данном реферате я попытаюсь раскрыть, некоторые аспекты булевой алгебры. Математическая логика является современной формой, так называемой формальной логики, применяющей математические методы для исследования своего предмета. (Другие ее названия: символическая логика, теоретическая логика, логистика.) В формальной логике и, соответственно, в математической логике, собраны результаты законов структуры правильных выводов. Вывод является таким мыслительным процессом, в результате которого появляются новые открытия на основании уже имеющихся (которые предполагаются правильными), без практических исследований. В действительности, новое открытие, полученное в результате вывода, (так называемый окончательный вывод) в скрытой форме находится в предварительно имеющихся знаниях, в так называемых предпосылках

1. Малая математическая энциклопедия. Э. Фрид., И. Пастор., И. Рейман., П. Ревес., И. Ружа. Издательсво академии наук Венгрии. Будапешт 1976 г.2. Математический анализ. ЧастьIII. В.А.Зоричь. Москва "наука". 1984 г.3. Пособие по математика для поступающих в ВУЗЫ. Под редакцией Г. Н. Яковлева Москва "наука" 1988 г.

Примечаний нет.