含意の真理値表と「実質含意のパラドックス」

含意の真理値表と「実質含意のパラドックス」は、式の構文と真偽を対応付け、複合式がどの条件で成立するかを調べるための概念である。真理値表、モデル、同値変形は、仕様の意味を小さな例で検査する共通の道具になる。

仕組みと確認

結合子の優先順位、括弧、変数への真理値割当を定め、代表例と境界例を真理値表で追う。式を簡約したときは、元の式との同値、または充足可能性だけを保つ変換かを区別する。

限界と注意点

古典二値論理、三値論理、ファジィ論理では意味が異なる。形式上の同値は、例外・副作用・評価順序・性能まで同じという意味ではない。