- 520 名前：login:Penguin mailto:sage [2007/03/10(土) 19:08:33 ID:+5IXEscG]
- ある体系において何らかの矛盾が成立していたとすると、形式的な仮定「¬B」をおいても矛盾を
導けるということになる。従ってBの二重否定¬¬Bが推論できることになり、二重否定は無視でき
る（排中律）ことから結局Bが推論できたことになる。
矛盾の性質として、矛盾を含む体系においてはどんな命題を導くこともできるというものだ。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
【deb系】Ubuntu Linux 11【ディストリ】
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef