> > うん(´ー｀)x+y+z=4(x,y,z>0の自然数)の時にxに10とか入れちゃったらyやzを考えるまでもなくダメだってのはわかるだろ？
> > でもxに1って入れたからってそのまま正解になるかといったらそうじゃないんだ(´ー｀)ちょっと高度な話だけどね
> 考えるまでもなくダメな条件がある場合トートロジーにはならないよ
> 的外れな比喩だね

うんとね(´ー｀)トートロジーってのは考えるまでもなくダメな条件なんだ
真理値が偏ってるからね(´ー｀)
あとね、上の説明は君が証明といって書いたこと全文についての話で、
トートロジーって言うのは一行目についての話なんだ(´ー｀)

参考：2005/05/20(金)07時27分45秒