>>245
必要十分条件(演算子)の何(対象や式)
と∃∀と同じUIで使えたらできること増えるじゃん