20/10/03 07:40:52.66 zBlChHgY.net
>>900
＞＞条件p(x)を満たす ⇒ 命題∃xp(x)が成り立つ
＞いいえ違います。"条件p(x)を満たす"だけでは主語が無く文として成立しないので、命題にはなりません。
＞命題や条件どころか文ですらないものに"⇒"や"⇔"といった記号を用いることはできません。
この部分が変なことを書いてしまったので訂正します。
2つの命題PとQに対して「P⇒Q」は新たな別の命題となります。
2つの条件P(x)とQ(x)について「P(x)⇒Q(x)」は命題となります。
条件"p(x)を満たす"と、命題"∃xp(x)が成り立つ"を、記号"⇒"でつないでも意味がわからんことになります。