La demostración de que QBF es PSPACE-completo es esencialmente una reafirmación de la demostración del teorema de Savitch en el lenguaje de la lógica y es un poco más técnico.