「6.2.2. 汎関係・零関係」 と 「6.2.3. 関係の和、関係の積、関係の包摂、関係の否定」 では、2 項の関係を量化記号 （ただし、全称演算子のみ） を使って記述する やりかた を説明しています──単項述語論理の和、積、包摂、否定 （すなわち、選言、連言、仮言、否定の法則） については 「6.1.2. 論理的否定の法則」 と 「6.1.3. 連言・選言・仮言の法則」 で述べていて、それらの法則を 2 項の関係に適用した法則を本節では述べているだけなので、構文論 （論理法則） 上の演算の手続きですから、機械的に演算するほうがいい。

　なお、本節の中身については、拙著 「論考」 の 77ページ・79ページ・81ページ のほうが上手に まとめられていると思う （苦笑）──「いざない」 の記述が素っ気なくなったのは、関係の論理法則は、量化の構文論に終始するので、量化記号の使いかただけを説明すればいいと私が判断したからです。ただ、「いざない」 では、数値量記号について書き落としていたので、ここで それを補足しておきます (「論考」 80ページ）──

　記述されている個体がいくつ存在するのかを数値量記号を使って表現する。

　（1） ∃n (x) P (x)　 　[ 性質 P をもつ個体が「少なくとも（al least）」 n 個は存在する ]。
　（2） ∃n (x)！P (x)　　[ 性質 P をもつ個体が「高々（at most）」 n 個は存在する ]。
　（3） ∃n (x) !! P (x)  [ 性質 P をもつ個体が「ちょうど（exactly）」 n 個は存在する ]。