Respuesta:
La prueba en la lógica cuantificacional es de la misma naturaleza que la prueba en la lógica sentencial; como en ésta, se trata en aquélla de derivar lógicamente una conclusión de una o varias premisas por medio de ciertas reglas de inferencia.
Explicación:
