07/03/10 19:08:33 +5IXEscG
ある体系において何らかの矛盾が成立していたとすると、形式的な仮定「￢B」をおいても矛盾を
導けるということになる。従ってBの二重否定￢￢Bが推論できることになり、二重否定は無視でき
る（排中律）ことから結局Bが推論できたことになる。
矛盾の性質として、矛盾を含む体系においてはどんな命題を導くこともできるというものだ。
07/03/10 19:08:33 +5IXEscG
ある体系において何らかの矛盾が成立していたとすると、形式的な仮定「￢B」をおいても矛盾を
導けるということになる。従ってBの二重否定￢￢Bが推論できることになり、二重否定は無視でき
る（排中律）ことから結局Bが推論できたことになる。
矛盾の性質として、矛盾を含む体系においてはどんな命題を導くこともできるというものだ。