Математическая логика контрольная, 10 вопросов.
1. Что называется высказыванием?
2. Что такое функция истинности?
3. Сформулируйте правило построения СКНФ формулы по ее таблице истинности.
4. Сформулируйте определение булевой функции от n аргументов.
5. Сформулируйте определение полной системы булевых функций.
6. Что называется одноместным предикатом?
7. Что называется предваренной нормальной формой формулы ЛП? Какие преобразования необходимо выполнить для ее получения?
8. Что понимают под формальным исчислением?
9. Является ли ИП разрешимой теорией?
10. В чем суть аксиоматического подхода к построению математической теории?