actions

恒真式

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

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



楽天市場検索: