Набор символов-обозначений в формулах с неотрицательными числами называется:

Полным набором B булевых функций называется набор, для которого:

Конструктивно определяемая последовательность переменных, занятых, скобок и символов сигнатуры называется:

Контрпример к секвенции - это набор значений переменных, для которых все формулы:

Множество Г с моделью называется:

Размером схемы называется число:

Формула, истинная в любой интерпретации сигнатуры называется:

Вхождение индивидной переменной, не из области действия одноименного квантора называется:

Формула, истинная в некоторой интерпретации на некоторой оценке называется:

Фильтр на S со свойством или называется: