Uno de los usos de la skolemización es aplicarlo en el método de resolución de la lógica de predicados.