Математическая логика и теория алгоритмов
|
1.13 Контрольные вопросы |
назад | оглавление | вперёд |
Что такое предикат? Приведите примеры предикатов различной местности.
Каким образом строится формула с предикатами?
Как навешиваются кванторы всеобщности и существования?
Сформулируйте основные эквивалентности с кванторами.
Что такое свободная переменная? Что такое связанная переменная?
Какая формула называется замкнутой?
Что такое предваренная форма?
Сформулируйте теорему о предваренной форме.