まじめに論理式を立ててくるとは…。 私が想定していたのは、上の話を架空の存在に当てはめたときのことです。

例えば、幻想上の生物「ドラゴン」が存在するか考えたとき、ドラゴンについては P(ドラゴン) なのか ¬P(ドラゴン) なのか。

存在しないものは存在しない(前者)、と考えるなら、ドラゴンは素直に存在せず、 ¬P(ドラゴン) ですが、

存在しないものは存在しない(後者)、と考えるなら、ドラゴンも存在して、 P(ドラゴン) になるはずです。

後者では、前提では ¬P(ドラゴン) と言っていたのに、それが覆されるのです。