Una condición precedente es un evento o estado de cosas que se requiere para que ocurra algo más. En el derecho contractual , una condición precedente es un evento que debe ocurrir, a menos que se justifique su no ocurrencia, antes de que venza el cumplimiento de un contrato, es decir, antes de que exista cualquier obligación contractual. [1]
En el derecho de sucesiones y fideicomisos, es una disposición en un testamento o fideicomiso que impide la concesión de un obsequio o legado hasta que algo ocurra o deje de ocurrir, por ejemplo, el logro de una determinada edad o el fallecimiento previo de otra persona. A modo de comparación, una condición posterior pone fin a una obligación, mientras que una condición precedente la inicia.
En informática, un bucle while es una instrucción para comprobar una condición precedente y luego ejecutar una acción solo si esa comprobación se evalúa como "verdadera" ; después de lo cual, el control vuelve al principio del bucle y el ciclo de comprobación y ejecución condicional comienza de nuevo. Por el contrario, un bucle do while primero ejecuta la acción, luego comprueba una condición subsiguiente y luego devuelve el control al principio del bucle si la comprobación se evaluó como "verdadera". Cualquier bucle finaliza una vez que una comprobación se evalúa como "falsa", después de lo cual el flujo de control continúa, ahora "fuera" de la instrucción del bucle.