充足可能性とは？
じゅうそくかのうせい
論理式をうまく真にできる変数の組み合わせが存在するかどうかを問う性質だよ。
充足可能性とは、論理の式を「正しい（真）」にできるような変数の組み合わせが少なくとも一つあるかどうかという考え方だよ。たとえば「P かつ P でない」はどうやっても正しくできないから充足不能というんだ。
つかいかた・れいぶん
「P または Q」は P か Q のどちらかを正しいにすれば充足できるよ。
このことばを シェア
さいごの こうしん: