Содержание
Введение………………………………………………………………………..... 3
1. Логические операции над высказываниями……………………………….. 5
2. Законы логики……………………………………………………………….. 8
3. Совершенная конъюнктивная нормальная форма и совершенная дизъюнктивная нормальная форма…………….. 10
4. Предикат………………………………………………………………………. 11
Заключение……………………………………………………………………….. 16
Список литературы………………………………………………………………. 18
Введение
При проведении любых рассуждений, в т.ч. математических, мы придерживаемся определенных логических правил, хотя иногда и не задумываемся об их существовании. Исследования в алгебре логики тесно связаны с изучением высказываний. Высказывание — важнейший объект изучения математической логики.
.....................................................................
Список литературы:
1. Абачиев С.К. Формальная логика с элементами теории познания: учебник для вузов / С. К. Абачиев. – Ростов-на-Дону: Феникс, 2012. – 635 с.
2. Бочаров В.А, Маркин В.И. Основы логики. – М.: Космополис, 1994.
3. Гетманова А. Д. Логика /А.Д. Гетманова. – М.: КноРус, 2012. – 416 с.
4. Гусев Д. А. Краткий курс логики. Искусство правильного мышления/Д.А. Гусев. – М.: НЦ ЭНАС, 2003. – 190 с.
5. Дмитревская И.В. Логика / И.В. Дмитревская. – М.: Флинта, 2013. – 384 с.
6. Ивлев Ю.В. Логика: учебник / Ю. В. Ивлев; Московский государственный университет им. М. В. Ломоносова. — 3-е изд., перераб. и доп. — Москва: Проспект, 2004. — 287 с.
7. Никифоров А. Л. Логика/А.Л. Никифоров. – М.: Весь мир, 2001. – 224 с.
8. Рузавин Г. И. Логика: Практический курс: учебник для вузов / Г. И. Рузавин. – М.: ЮНИТИ-ДАНА, 2002. – 256 с.
9. Челпанов Г. И. Учебник логики/Г.И. Челпанов. – М.: Прогресс, 1994. – 248 с.
Вы можете убедиться в качестве данной работы. Часть контрольной представлена ниже: