La Precondición libre más débil (en inglés, ""weakest liberal precondition"", wlp) es una extensión del concepto de la precondición más débil de E.