解釈 (Interpretation ・ Model ・ Structure)

解釈は、形式言語の定数・関数・述語に意味を与え、式をモデル上の対象や真偽へ対応付ける。構文として正しい式でも、解釈と議論領域がなければ意味は決まらない。

仕組みと確認

議論領域、各記号の写像、変数割当を明示し、項と式を帰納的に評価する。ドメインモデルでは用語・識別子・状態の意味を例と反例で固定する。

限界と注意点

同じ式が複数の解釈で異なる結果を持つのは普通である。実装名と業務上の意味、テストデータと現実の母集団を無条件に同一視しない。