Любое вхождение переменной в атомарную формулу:

Любое вхождение переменной в терм:

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

Если х - свободное вхождение в формулу А, то оно всегда:

Если х - свободное вхождение в формулу А или В, то оно:

Если х - свободное вхождение в формулу А или В, то оно:

Если х - свободное вхождение в формулу А или В, то оно:

Любое совместное множество замкнутых формул:

Формулу можно построить с использованием правила:

Формулу можно построить с использованием правила:

Формулу можно построить с использованием правила: