weakest precondition - Francés Inglés Diccionario