Заключение

В своей исследовательской работе я рассмотрела определения равносильности формул, данные в разных источниках. Определения аналогичны, но наиболее доступным для изучения мне показалось определение, изложенное Л.В. Балабко. Оно дано на понятном для студента языке и не требует дополнительных пояснений.

По критерию научности источники не отличаются, оба автора дали верные определения.

Также я познакомилась историей развития логики, изучила более подробно важнейшие равносильности логики высказываний, их смысл и как их можно доказать. Ещё я узнала для чего нужны равносильные преобразования, что такое двойственные формулы и в чем заключается принцип двойственности.

Список использованной литературы

1. Никольская И.Л. Математическая логика — М.: Высшая школа, 1981.

2. Балабко Л.В Алгебра логики – Архангельск: Северный федеральный университет имени М.В.Ломоносова,2011.

3. Игошин В.И. Математическая логика и теория алгоритмов - М.: Академия, 2007.

4. Лихтарников Л.М. Курс лекций по математической логике - СПб.:Лань, 1999.

5. Клини С. Математическая логика - М.: 1973.