1. 束の公式と基本的な定理を再掲する。 a◡b=b◡a, a◠b=b◠a （交換律）a◡(b◡c)=(a◡b)◡c, a◠(b◠c)=(a◠b)◠c （結合律）a◠(a◡b)=a, a◡(a◠b)=a （吸収律） a◡(b◠c) ≤ (a◡b)◠(a◡c)(a◠b)◡(a◠c) ≤ a◠(b◡c) a≤a◡b, a◠b≤aa≤cかつb≤c⇒ a◡b ≤c, c≤aかつc≤b⇒c≤ a◠ba◡b=b ⇔…

1. 一般化された量化子の理論Generalized Quantifier Theory（今後、「一般量化子理論」と呼ぶ） について確認しておく必要が生じているが、そのためには、ブール代数（ブール束）の基本的概念の理解が前提となる。ただし、数学的に一般化された形で展開する…