先行条件

先行条件とは、何か他のことが起こる前に必要な出来事または状況のことである。契約法において、先行条件とは、その不発生が許されない限り、契約に基づく履行が期限を迎える前、すなわち契約上の義務が存在する前に発生しなければならない出来事である。^[1]

遺産法および信託法では、遺言または信託において、ある年齢に達する、または他の人が先に死亡するなど、何かが起こるか起こらないまで贈与または遺贈の権利確定を阻止する条項を指します。比較すると、後続条件は義務を終了させますが、先行条件は義務を開始します。

コンピューティングにおいて、while ループは、条件の先行をチェックし、そのチェックが「true」と評価された場合にのみアクションを実行する命令です。その実行後、制御はループの先頭に戻り、チェックと条件付き実行のサイクルが再び始まります。対照的に、 do while ループは、最初にアクションを実行し、次に後続の条件をチェックし、チェックが「true」と評価された場合に制御をループの先頭に戻します。どちらのループも、チェックが「false」と評価されると終了し、その後、制御フローはループ命令の「外側」に進みます。

• プサール v スパイアーズ アンド ポンド(1876) 1 QBD 410

• 条件後
• 必要条件
• 十分な条件