¿Qué es la condición previa?
La precondición es una declaración o un conjunto de declaraciones que describen una condición que debe ser verdadera cuando se llama a una acción. La declaración de condición previa indica qué debe ser cierto antes de que se llame a la función.
Ejemplo:
Para identificar la raíz cuadrada de un número, la condición previa es que el número sea mayor que cero. Al ejecutar la condición previa, la raíz cuadrada del número se muestra en la consola.