Спочатку розглянемо випадок з квантором загальності. Нехай , .Доведемо, що .Замінимо предикат конкретним предикатом де ,. Використовуємо інтерпретацію для формул та . . .
.
Одержали .
Тепер розглянемо випадок для квантора існування. Нехай , .Доведемо, що .Замінимо предикат конкретним предикатом де ,. Використовуємо інтерпретацію для формул та . . .