Warunek zawieszający

Warunek zawieszający to zdarzenie lub stan rzeczy, który jest wymagany, zanim wydarzy się coś innego. W prawie umów warunkiem zawieszającym jest zdarzenie, które musi nastąpić, chyba że jego niewystąpienie jest usprawiedliwione, zanim świadczenie na podstawie umowy stanie się wymagalne, tj. zanim powstanie jakikolwiek obowiązek umowny.

W prawie spadkowym i powierniczym jest to postanowienie w testamencie lub powiernictwie, które uniemożliwia nabycie darowizny lub zapisu, dopóki coś się nie wydarzy lub nie nastąpi, np. osiągnięcie określonego wieku lub wcześniejsza śmierć innej osoby. Dla porównania, kolejny warunek kończy obowiązek, podczas gdy warunek zawieszający inicjuje obowiązek.

W informatyce pętla while ustawia prawdziwość instrukcji jako warunek poprzedzający wykonanie danego podprogramu lub innego segmentu kodu. Z kolei pętla do while przewiduje ciągłe wykonywanie akcji, chyba że dany warunek zostanie uznany za fałszywy, tj . przewiduje wykonanie tej akcji z zastrzeżeniem odrzucenia przez fałszywość warunku, która to fałszywość ( tj . prawdziwość zaprzeczenia warunku) jest ustawiony jako warunek późniejszy .

Sprawy

Zobacz też

Notatki