postcondition 0 postcondición Condición o predicado lógico que siempre debe cumplirse justamente después de la ejecución de una sección de código o de una operación. 2016-05-11 preconditionprecondición predicatepredicado