もしあるpが存在して、q(p(x)) が r(p(x)) と同値なら、任意のpに対して、 q(p(x)) は r(p(x)) と同値 ですか？

p,q,r は論理記号とし、=　で必要十分条件を表すとします。そのとき、もしあるpが存在して、q(p(x)) = r(p(x))　が成り立つなら、任意のpに対して、q(p(x)) = r(p(x))　が成り立つと思うのですが、正しいのでしょうか？教えてください。

No.1 ベストアンサー 回答者： kabotya636 回答日時： 2008/11/10 16:54

両者が同値というのは、全てのｐにたいして同値という事ですから、任意のｐに成立します。

この回答へのお礼

ありがとうございました。

お礼日時：2008/12/15 17:49

No.2 回答者： Tacosan 回答日時： 2008/11/10 18:14

p(x) は x を変数とする述語, q および r はそれぞれ命題関数だと思っていいんですよね?

そうだとすると, q(p) = true, r(p) = p の場合に p(x) = true では q(p(x)) = r(p(x)) ですが p(x) = false に対しては q(p(x)) = true, r(p(x)) = false となります.

この回答へのお礼

ありがとうございました。

お礼日時：2008/12/15 17:50