Математическая логика

Целью работы является, изучение литературы по данной теме, подбор подходящих, разнообразных интересных примеров и задач и применение их на практике.
Для достижения поставленной цели в работе решаются следующие задачи:
1. Раскрыть суть и содержание необходимых и достаточных условий.
2. Рассмотреть и проанализировать примеры и их решения.
3. Сделать выводы по проделанной работе.

Введение……………………………………………………………………… 2
Глава 1. Элементы математической логики……………………………….. 3
1.1. Строение и виды теорем………………………………………………. 3
1.2. Высказывания………………………………………………………….. 4
1.3. Отрицание……………………………………………………………… 7
1.4. Неопределенные высказывания………………………………………. 9
1.5. Знаки общности и существования……………………………………. 10
Глава 2. Необходимые и достаточные условия…………………………….. 16
2.1. Необходимые и достаточные условия………………………………….. 16
2.2. Обратная и противоположная теоремы…………………………………. 22
Глава 3. Примеры……………………………………………………………… 28
Заключение…………………………………………………………………….. 35
Список используемой литературы ………………………………………….. 36