エルブラン化
例として、論理式 formula_10 を考えよう。（最初のステップで）置換される自由変数は存在しない。変数 formula_11 は第二ステップで考慮される種類の変数であるから、量化子 formula_12 と formula_13 を削除する。最後に、formula_14 を定数記号 formula_15 に置き換え（formula_14 を支配する量化子は存在しなかったのだから）、formula_17 を関数記号 formula_18 に置き換える：