含意 (Material Implication ・ Conditional - →, ⇒)

含意「PならばQ」は、Pが成り立つ場合にQも成り立つという条件を表す。古典論理ではPが偽なら真と扱うが、日常語の因果・時系列・契約とは同一ではない。

仕組みと確認

十分条件と必要条件を分け、反例はPが真でQが偽のケースであることを確認する。仕様では前提、保証、未定義入力、失敗時の振る舞いを分離して記述する。

限界と注意点

含意を因果関係や逆向きの推論として使わない。PからQを示せてもQからPは導けず、実装仕様では観測されたQから原因Pを断定しない。