状態が偶数個の集合に分割されるなら、全体として全称的であり、奇数個なら存在的となる(あるいは逆。