前回，前々回のような解集合の図は，束縛・自由変数が合わせて 3 種類以下なら，与えられた論理式から簡単に求められます． 例えば，自由変数が 2 種類，束縛変数が 1 種類の特称量化論理式 を満たす点 とは，その点を通って 平面に垂直な直線上に を満たす…

前回の図を見ると，この解集合の境界は，どうやら2本の線分と謎の曲線とで構成されているようです． 線分については に対する の一部と推定できますが，いい感じに曲がった部分を見て，何とかそれを表す「式」を得られないかと思うのは自然な反応でしょう． …