¿Qué es la condición posterior?
Post condición es una declaración o un conjunto de declaraciones que describen el resultado de una acción, si es verdadero, cuando la operación ha completado su tarea.
La declaración de condiciones posteriores indica qué será cierto cuando la acción finalice su tarea.
Ejemplo:
Para identificar la raíz cuadrada de un número, la condición previa es que el número sea mayor que cero. La condición POST es que la raíz cuadrada del número se muestra en la consola.