Прецедентное условие — это событие или положение дел, которое требуется, прежде чем что-то еще произойдет. В договорном праве прецедентное условие — это событие, которое должно произойти, если его ненаступление не оправдано, до того, как исполнение по договору станет подлежащим, т. е. до того, как возникнет какая-либо договорная обязанность. [1]
В имущественном и трастовом праве это положение в завещании или трасте, которое препятствует передаче дара или завещания до тех пор, пока что-то не произойдет или не произойдет, например, достижение определенного возраста или смерть другого человека. Для сравнения, последующее условие прекращает обязанность, тогда как предварительное условие инициирует обязанность.
В вычислениях цикл while — это инструкция для проверки условия-прецедента, затем выполнения действия только в том случае, если эта проверка оценивается как «истина» ; после чего выполнение возвращается к началу цикла, и цикл проверки и условного выполнения начинается снова. Напротив, цикл do while сначала выполняет действие, затем проверяет условие following , затем возвращает управление в начало цикла, если проверка оценивается как «истина». Любой цикл заканчивается, как только проверка оценивается как «ложь», после чего поток управления продолжается дальше, теперь «за пределами» инструкции цикла.