付値 (Assignment ・ Valuation)

付値は、論理式に現れる変数や記号へ値を割り当て、式の評価を可能にする。命題変数への真偽割当と、個体変数への議論領域の要素割当は分けて考える。

仕組みと確認

値域と割当を表にし、同じ式を異なる割当で評価する。プログラムの設定値やテスト入力では、暗黙の既定値・欠損・型変換を明示する。

限界と注意点

未定義値を真偽値へ変換すると意味がずれる。評価規則とエラーの扱いを仕様に含める。