2015-03-07
466
В теме 3 рассматриваются следующие вопросы:
3.1. Простые и составные высказывания.
3.2. Логические операции над высказываниями.
3.3. Производные логические операции.
3.4. Основные законы логических операций.
3.5. Булевы функции. Алгебра логики.
3.6. Дизъюнктивная и конъюнктивная нормальные формы алгебры высказываний.
3.7. Совершенные дизъюнктивная и конъюнктивная нормальные формы алгебры высказываний.
3.8. Принципы построения формальных теорий.
3.9. Исчисление высказываний. Аксиомы и правила вывода.
3.10. Понятие предиката.
3.11. Кванторы общности и существования.
3.12. Равносильные формулы логики предикатов.
3.13. Исчисление предикатов.
