(R3) while文の規則
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/21 02:23 UTC 版)
「ホーア論理」の記事における「(R3) while文の規則」の解説
{ P ∧ B } S1 { P } { P } While B Do S1 End { P ∧ ¬B } ここで、P はループ不変条件である。
※この「(R3) while文の規則」の解説は、「ホーア論理」の解説の一部です。
「(R3) while文の規則」を含む「ホーア論理」の記事については、「ホーア論理」の概要を参照ください。
- while文の規則のページへのリンク