Любое вхождение переменной в терм:
Любое вхождение переменной в атомарную формулу:
Если х - свободное вхождение в формулу А, то оно всегда:
Если х - свободное вхождение в формулу А или В, то оно:
Если х - свободное вхождение в формулу А или В, то оно:
Если х - свободное вхождение в формулу А или В, то оно:
Множество Г с моделью называется:
Размером схемы называется число:
Формула, истинная в любой интерпретации сигнатуры называется:
Набор символов-обозначений в формулах с неотрицательными числами называется:
