恒真式

提供: miniwiki
2019/4/27/ (土) 16:38時点におけるAdmin (トーク | 投稿記録)による版
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索

恒真式(こうしんしき、トートロジー: tautology、ギリシャ語のταυτο「同じ」に由来)

空でない (少くとも1つの個体が存在する) 領域で妥当な論理式のこと。言い換えると,所与の領域に属する個体が,可能なあらゆる組合せを行なっても真である論理式のこと。



楽天市場検索: