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

1.13 Контрольные вопросы

назад | оглавление | вперёд

 
  1. Что такое предикат? Приведите примеры предикатов различной местности.

  2. Каким образом строится формула с предикатами?

  3. Как навешиваются кванторы всеобщности и существования?

  4. Сформулируйте основные эквивалентности с кванторами.

  5. Что такое свободная переменная? Что такое связанная переменная?

  6. Какая формула называется замкнутой?

  7. Что такое предваренная форма?

  8. Сформулируйте теорему о предваренной форме.


назад | оглавление | вперёд