そういえば
ある∃
全て∀
はあるけど
必要条件
十分条件
も記号化して欲しくない?