空文の公理

ウィキペディア小見出し辞書

(A2) 空文の公理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/21 02:23 UTC 版)

「ホーア論理」の記事における「(A2) 空文の公理」の解説

空文（skip文）は、プログラムの状態を変化させないが、これを表すのが空文の公理である。skip以前に真であったことはそのまま真となる。 { P } skip { P }