空でない (少くとも1つの個体が存在する) 領域で妥当な 論理式のこと。

言い換えると、所与の領域に属する 個体が、可能な あらゆる 組合せを行なっても真である論理式のこと。

トートロジー（tautology）

論理記号の一覧