>  2005/05/20 (金) 07:54:35        [qwerty]
> > 考えるまでもなくダメな条件がある場合トートロジーにはならないよ
> > 的外れな比喩だね
> うんとね(´ー`)トートロジーってのは考えるまでもなくダメな条件なんだ
> 真理値が偏ってるからね(´ー`)
> あとね、上の説明は君が証明といって書いたこと全文についての話で、
> トートロジーって言うのは一行目についての話なんだ(´ー`)

ちなみに論理体型は全てトートロジーで成り立っているんだよ
論の外部からは無意味だけど、内部では成立しているのがトートロジーだよ

参考:2005/05/20(金)07時31分45秒