[過去ﾛｸﾞ] 大学学部レベル質問スレ 8単位目 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
756: ￥ ◆2VB8wsVUoo 2017/11/01(水)12:24 ID:cSPyhj3J(14/30) AAS
￥
757: ￥ ◆2VB8wsVUoo 2017/11/01(水)12:24 ID:cSPyhj3J(15/30) AAS
￥
758: ￥ ◆2VB8wsVUoo 2017/11/01(水)12:24 ID:cSPyhj3J(16/30) AAS
￥
759: ￥ ◆2VB8wsVUoo 2017/11/01(水)12:25 ID:cSPyhj3J(17/30) AAS
￥
760: ￥ ◆2VB8wsVUoo 2017/11/01(水)12:25 ID:cSPyhj3J(18/30) AAS
￥
761: ￥ ◆2VB8wsVUoo 2017/11/01(水)12:25 ID:cSPyhj3J(19/30) AAS
￥
762: ￥ ◆2VB8wsVUoo 2017/11/01(水)12:26 ID:cSPyhj3J(20/30) AAS
￥
763: 2017/11/01(水)12:28 ID:PPzoO934(1) AAS
惨めな奴
764(1): 2017/11/01(水)18:31 ID:cAIwuqBU(1) AAS
直観主義論理でも {x | ¬ x ∈ x} の存在から矛盾を導くことはできます。
やってみましょう。
R = {x | ¬ x ∈ x} とおく。 すなわち、
(*) x ∈ R ⇔ ¬ x ∈ x
である。 特に、x = R の場合を考えると、
(**) R ∈ R ⇔ ¬ R ∈ R
まず、R ∈ R と仮定すると (**) より ¬ R ∈ R が得られ、
仮定と矛盾する。 R ∈ R を仮定して矛盾が導かれたので、
¬ R ∈ R が成り立つ。
これに (**) を適用すると、R ∈ R が得られる。
省4
765: ￥ ◆2VB8wsVUoo 2017/11/01(水)22:25 ID:cSPyhj3J(21/30) AAS
￥
766: ￥ ◆2VB8wsVUoo 2017/11/01(水)22:26 ID:cSPyhj3J(22/30) AAS
￥
767: ￥ ◆2VB8wsVUoo 2017/11/01(水)22:26 ID:cSPyhj3J(23/30) AAS
￥
768: ￥ ◆2VB8wsVUoo 2017/11/01(水)22:26 ID:cSPyhj3J(24/30) AAS
￥
769: ￥ ◆2VB8wsVUoo 2017/11/01(水)22:26 ID:cSPyhj3J(25/30) AAS
￥
770: ￥ ◆2VB8wsVUoo 2017/11/01(水)22:27 ID:cSPyhj3J(26/30) AAS
￥
771: ￥ ◆2VB8wsVUoo 2017/11/01(水)22:27 ID:cSPyhj3J(27/30) AAS
￥
772: ￥ ◆2VB8wsVUoo 2017/11/01(水)22:27 ID:cSPyhj3J(28/30) AAS
￥
773: ￥ ◆2VB8wsVUoo 2017/11/01(水)22:28 ID:cSPyhj3J(29/30) AAS
￥
774: ￥ ◆2VB8wsVUoo 2017/11/01(水)22:28 ID:cSPyhj3J(30/30) AAS
￥
775: 2017/11/02(木)11:22 ID:swN/GnGJ(1) AAS
惨めな奴
上下前次1-新書関写板覧索設栞歴
あと 227 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.009s