妥当式
述語論理で常に真な命題
トートロジー
とは限らない
例:
$ \forall x (p(x)) → \exists x (p(x))