weakest precondition - Inglés Sinónimo Diccionario