恒真式
空でない (少くとも1つの個体が存在する)
領域
で
妥当な
論理式
のこと。
言い換えると
、所与の領域に
属する
個体
が、
可能な
あらゆる
組合せ
を行なっても
真
である論理式のこと。
valid formula
同義語.icon
トートロジー
（
tautology
）
論理的真理
推論
完全性
論理回路
論理記号の一覧
循環定義
恒真式 - Wikipedia