09/04/02 13:09:16
>>551
文から察するに、
命題「p⇒q」は成り立つが「q⇒p」は成り立たない。
反例：a=1+√2、b=1-√2のとき。
だから、前者の対偶をとって「￢q⇒￢p」を考えたときに
条件pの否定￢pを書けってことだろ。
つまり、「pの否定￢qを書け」っていうのは、結局は￢pを書けってことだろ。
恐らく、「￢qは￢pにつながる」ってことも含めて考えろという意図を含んで書いたんだろ。
単純に「￢qを書け」って言いたいのなら「条件p」自体がいらない。
09/04/02 13:09:16
>>551
文から察するに、
命題「p⇒q」は成り立つが「q⇒p」は成り立たない。
反例：a=1+√2、b=1-√2のとき。
だから、前者の対偶をとって「￢q⇒￢p」を考えたときに
条件pの否定￢pを書けってことだろ。
つまり、「pの否定￢qを書け」っていうのは、結局は￢pを書けってことだろ。
恐らく、「￢qは￢pにつながる」ってことも含めて考えろという意図を含んで書いたんだろ。
単純に「￢qを書け」って言いたいのなら「条件p」自体がいらない。