(承前) 先の「P Q が x∈(¬◇P∧□¬Q) に限定されるように作った…

jrf> (承前)

先の「P Q が x∈(¬◇P∧□¬Q) に限定されるように作った P,Q でのみ言えるとすればいい」というのが、P,Q の作り方を示唆しているとすれば、まだ良いのだが…。

今回の議論はまったく無駄だったのだろうか？