Las definiciones se harán en función del fin que se pretenda al construir el sistema que haga posible la formalización de argumentos: