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