>  2005/05/20 (金) 07:00:45        [qwerty]
> > もしこれがトートロジーである場合
> > 前提を認めるなら、証明できなくても存在することもあることを認めていることになるし
> > 前提が認められないなら前提に対する反論が必要だね
> トートロジーは恒真命題なので無意味だよ(´ー`)

命題全体の意味は無くても前提が真であるかどうかの判断はできるよ

参考:2005/05/20(金)06時56分14秒