Если в бескванторной формуле заменить атомы на пропозициональные, то получим формулу:

Если в тавтологию вместо пропозициональных переменных подставить формулы сигнатуры, получим:

Если A и B - пропозициональные формулы, то такой же формулой будет:

Если A и B - пропозициональные формулы, то такой же формулой будет:

Если A и B - пропозициональные формулы, то такой же формулой будет:

Теорема о полноте позволяет заменить в формулировке:

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

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

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

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

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