【deb系】Ubuntu Linu ..
520:login:Penguin
07/03/10 19:08:33 +5IXEscG
ある体系において何らかの矛盾が成立していたとすると、形式的な仮定「¬B」をおいても矛盾を
導けるということになる。従ってBの二重否定¬¬Bが推論できることになり、二重否定は無視でき
る（排中律）ことから結局Bが推論できたことになる。
矛盾の性質として、矛盾を含む体系においてはどんな命題を導くこともできるというものだ。
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
5371日前に更新/164 KB
担当:undef