気持ちの問題なんだけど、∃x, (P(x)→Q(x))って形の論理式で表現したい命題って何かある？
大体は(∀x, P(x))→QかP(x)→(∃x, Q(x))か(∃x, P(x))∨(∃x, Q(x))の形の方が自然に意味を表現できる気がするんだけど