20/10/05 17:23:46.89 xGDDnrev.net
>>901
>>902
＞「命題"6は偶数である"が成り立つ」というのは「命題"6は偶数である"が真である」という意味に解釈できますが
＞「命題"6は偶数である"を満たす」では言葉の意味が通じません。
『命題に対しては"成り立つ"が用いられる』
命題「3が偶数である」が成り立つ
⇔ 命題「命題"3である"が成り立つ ならば 命題"偶数である"が成り立つ」が成り立つ
これは調べると"原子命題、要素命題"と言われる命題であり、
論理式のこれ以上の分割は不可能な命題のようです
（命題「犬は動物である」が成り立つも"原子命題、要素命題"と言われる命題）
＞2つの命題PとQに対して「P⇒Q」は新たな別の命題となります。
＞2つの条件P(x)とQ(x)について「P(x)⇒Q(x)」は命題となります。
2つの命題pとqに対して「p∧q」は"命題"
命題"命題pが成り立つ かつ 条件qが成り立つ"
2つの条件P(x)とQ(x)に対して「P(x)∧Q(x)」は"条件"
条件"条件P(x)が成り立つ かつ 条件Q(x)が成り立つ"
条件"条件P(x)を満たす かつ 条件Q(x)を満たす"
2つの命題pとqに対して「p⇒q」は"命題"
命題"命題pが成り立つ ならば 命題qが成り立つ"
2つの条件P(x)とQ(x)に対して「P(x)⇒Q(x)」は"命題"
命題"条件P(x)が成り立つ ならば 条件Q(x)が成り立つ"
命題"条件P(x)を満たす ならば 条件Q(x)を満たす"
＞"条件p(x)を満たす"だけでは主語が無く文として成立しないので、命題にはなりません。
となると、命題"条件P(x)を満たす ならば 条件Q(x)を満たす"は書き方として正しく無い？
誤った言葉の使い方をしたくないので指摘してくれるとうれしいです