量化子
全称量化子∀
存在量化子∃
量化子の順序