Las reglas básicas para realizar la skolemización son: