Автор работы: Пользователь скрыл имя, 03 Апреля 2013 в 09:18, реферат
Задача математизации формальной логики была поставлена и осуществлена Лейбницем. Его работу продолжили математики XIX века. На рубеже столетия с открытием противоречий в теории множеств (см. гл. «Теория множеств») развитие математической логики получило широкий размах. В настоящее время результаты математической логики используются во всех традиционных областях формальной логики; открыты совершенно новые области. В настоящее время «традиционная» формальная логика по сравнению с математической логикой имеет значение только для истории науки.
1.МАТЕМАТИЧЕСКАЯ ЛОГИКА……………………………….….…3 стр.
1.1 ПРЕДМЕТ МАТЕМАТИЧЕСКОЙ ЛОГИКИ……………….…....3 стр.
2.КАЛЬКУЛЯЦИЯ ВЫСКАЗЫВАНИЙ………………………………..3 стр.
2.1ВЫСКАЗЫВАНИЕ……………………………………………………..3 стр.
2.2ОТРИЦАНИЕ КОНЪЮНКЦИЯ…………………………………….4 стр.
3.АЛГЕБРА ЛОГИЧЕСКИХ ЗНАЧЕНИЙ……………………………..5 стр.
4.НЕКОТОРЫЕ ДРУГИЕ ЛОГИЧЕСКИЕ ОПЕРАЦИИ…………….6 стр.
4.1 ИМПЛИКАЦИЯ……………………………………………………….6 стр.
4.2 ЭКВИВАЛЕНТНОСТЬ……………………………………………….7 стр.
5. Заключение………………………………………………………………8 стр.