Dacă c este o expresie booleană şi A şi B sunt algoritmi, pentru cele două
forme ale instrucţiunii if sunt valabile regulile de corectitudine:
IF: Dacă
{P and c} A {Q}, {P and not c} B {Q} sunt corecte, iar P -> Def(c) este adevărata
Atunci formula
{P} if c then A else B {Q} este corectă.
Raspunsul acceptat de server la COMPLETION la intrebarea 23:
a)formula {P} if c then A else B {Q} este corecta
b){P} if c then A else B {Q} este corecta
c){P} if c then A else B {Q}
L.E: Era o intrebare
