[過去ﾛｸﾞ] 「Aとする。BならばC」って、どこまでが仮定なの？ (45ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(2): 2025/01/12(日)02:33 ID:cWtGOqbZ(1) AAS
B？それともAかつB？
2: 2025/01/12(日)02:44 ID:EckRkevb(1) AAS
¬(A∧B)∨(A∧C)
= (¬(A∧B)∨A)∧(¬(A∧B)∨C)
= (¬A∨¬B∨A)∧(¬(A∧B)∨C)
= ¬(A∧B)∨C
3: 2025/01/12(日)03:30 ID:HSTXq+8N(1) AAS
どちらでも同じ
ってことだね
4: 2025/01/12(日)03:45 ID:5RBeZlvl(1) AAS
よくわからない
よかったら、具体例をあげてくれない？
5: 2025/01/12(日)03:50 ID:o9ca2aTn(1) AAS
nを整数とする。n^2が偶数ならば、nは偶数である。
6: 2025/01/12(日)04:37 ID:TkiFw+Y4(1) AAS
Aは、BやCを述べるための前提という気がする
7(1): 2025/01/12(日)05:59 ID:tbOmbWPu(1/6) AAS
>>1
単発質問スレ禁止
8: 2025/01/12(日)07:03 ID:Ops8P+jy(1) AAS
>>7
自治厨きっしょ
9: 2025/01/12(日)08:38 ID:IZTUpFGF(1) AAS
f: X -> Y, g: Y -> Zとする。f, gが単射ならばg○fも単射である。
10: 2025/01/12(日)09:28 ID:tbOmbWPu(2/6) AAS
俺にはルール無用
11: poem 2025/01/12(日)12:29 ID:UM6kEWeo(1/5) AAS
nを整数とする。←問題を解くのに整数が使えると勝手に決めつけ…仮定
n^2が偶数ならば、←ケースの分岐。整数のとりうるケースの1つ…百科事典だから仮定じゃない
nは偶数である。←合成してるからて
12: poem 2025/01/12(日)12:29 ID:UM6kEWeo(2/5) AAS
合成してるから、半分仮定半分百科事典
13: poem 2025/01/12(日)12:30 ID:UM6kEWeo(3/5) AAS
〜ならば〜
が
百科事典ケースもある
決めつけ仮定ケースもある
14: poem 2025/01/12(日)12:32 ID:UM6kEWeo(4/5) AAS
nを整数とする。←偽の可能性あり
n^2が偶数ならば、←真しかない
nは偶数である。←偽と真の合成
15: 2025/01/12(日)12:48 ID:tbOmbWPu(3/6) AAS
お薬増やしておきますね
16: poem 2025/01/12(日)12:55 ID:UM6kEWeo(5/5) AAS
ビタミンとか野菜とか
足りない物摂取大事
17: 2025/01/12(日)13:13 ID:aGHxt5ul(1) AAS
こんなの数学やっててほぼ意識しないが
Leanとか上手く作られてんなあ、と思う
外部ﾘﾝｸ[html]:leanprover-community.github.io
数学記述するために必要十分な文法が揃ってる
Lean4で「Aとする。BならばC」は
theorem {A} B ⇒ C := 証明 （間違ってるかも）
18: 2025/01/12(日)13:36 ID:6GueyTCV(1) AAS
A⇒Bが関数の型というのは驚き
19: 2025/01/12(日)16:39 ID:tbOmbWPu(4/6) AAS
A地点からB地点へ
20: 2025/01/12(日)17:04 ID:+cTeOBFK(1/2) AAS
AならばBの証明とAからBへの関数はいかにも類似した概念だと思うが
21: 2025/01/12(日)17:06 ID:+cTeOBFK(2/2) AAS
専門用語ではカリーハワード同型対応というらしい
22: 2025/01/12(日)17:10 ID:qVdK24qB(1/2) AAS
すべて関数（クロージャ）で表現可能
さらにSchemeのように現在の継続を取り出せると、古典論理に背理法を追加可能
23: 2025/01/12(日)17:19 ID:tbOmbWPu(5/6) AAS
カリーハワード同型対応 大西
京大CW
リンク張れないのでggr
24: 2025/01/12(日)17:35 ID:qVdK24qB(2/2) AAS
∀の導入と∃の除去も関数
ほんと世界よく出来てる
25: 2025/01/12(日)17:38 ID:e/vGgRYt(1/2) AAS
RIMSの先生が書いた数理論理学の入門書あるけど、あれおすすめだよ
26: 2025/01/12(日)17:43 ID:e/vGgRYt(2/2) AAS
コンピュータは数学者になれるのか？
Amazonでは新品は売切
東京と大阪の一部の丸善ジュンク堂には残ってるようだ
27: 2025/01/12(日)17:46 ID:E4t54sXN(1) AAS
MumfordもTaoもScholzeも、コンピュータにハマったよなあ
何かしら可能性があるんだろうな
28: 2025/01/12(日)18:29 ID:tbOmbWPu(6/6) AAS
トポロジー、組み合わせだけだろうけど
29(1): 2025/01/12(日)18:33 ID:W1XfdgXp(1) AAS
でも、数学って畢竟組み合わせ論だから、天才にはそこまで見えてるんだろう
30: 2025/01/12(日)22:14 ID:k9fkMFiT(1) AAS
CoT以来、Leanと合体して大半の数学者が十年以内にいらなくなる状況に
なりつつある
31(2): 2025/01/13(月)08:55 ID:ZZe3wroh(1/2) AAS
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ
照井一成 (著)
32: 2025/01/13(月)08:56 ID:ZZe3wroh(2/2) AAS
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ
照井一成 (著)
33: 2025/01/14(火)07:58 ID:6fD3O2Pc(1) AAS
型の型
34: 2025/01/14(火)08:47 ID:wAGmgpG8(1/2) AAS
カタカタカタ
35: 2025/01/14(火)15:42 ID:wAGmgpG8(2/2) AAS
>>29
過剰な受験対策をする人のせいで、大学で学問をやりたい人が割りを食っている
2chｽﾚ:math
36: 2025/01/15(水)20:21 ID:nZ1uSKE/(1) AAS
>>31
これソフトカバーで再発売してほしいな
何であんなかさむデザインなんだろう
37: 2025/01/15(水)21:24 ID:Hr4XaTHM(1) AAS
>>31
これは名著
いつでも入手できる文庫とかで再販されるべき
38: 2025/01/16(木)21:06 ID:HVzZ3L2P(1) AAS
文庫は嫌でしょw
数式あるんだからソフトカバーでいいよ
39: 2025/09/07(日)16:27 ID:uMIwsOh/(1) AAS
コンピュータは数学者になれるのか?
図書館も書店も全滅だったので、
古書店に立ち寄って購入。
近所（といっても旧峠をひとつ越え）の古書店が一番揃っている。
40: poem 2025/09/26(金)18:58 ID:/nNnTyOt(1) AAS
パルプンテの魔術の、まるで将棋だな、とはどういうことなのか？
2chｽﾚ:sci
41: poem 2025/09/27(土)05:45 ID:pNHPEC/P(1/2) AAS
現実法律｢──｣創作法律｢──｣、｢実行使｣｢不認可｣、──と──にリンクのみ編集してみてるこのリンク。内容と内容のこちらを確認してくれ
2chｽﾚ:emperor
42: poem 2025/09/27(土)13:02 ID:pNHPEC/P(2/2) AAS
2chｽﾚ:math
43: poem 2025/10/10(金)03:08 ID:q0uBD/Cf(1) AAS
引っ込め引っ込め
2chｽﾚ:emperor
─
レスバ訓練は&嘘は&悪人変換は？
2chｽﾚ:sci
─
"たむろ"
2chｽﾚ:emperor
─
勉強の人口の差異の何故の提起
省7
44: poem 2025/10/10(金)22:05 ID:h2OO4gPh(1) AAS
お袈数(食事って一例に仏教用語から？)
2chｽﾚ:math
─
雷遁の衣or千鳥→の相違がなきゃおかしい。研究材料。
2chｽﾚ:occult
─
ﾏｲﾝﾄﾞﾏｯﾌﾟの進化はｿﾛﾊﾞﾝﾏｯﾌﾟ
2chｽﾚ:sci
─
手数の今後
省1
45: 2025/10/20(月)11:17 ID:DU8YfOMv(1) AAS
>>1
Aは証明の仮定。BならばC（B→C）はひとつの論理式（含意）でBは含意の仮定。
Bを証明の仮定にしてCを帰結すること と 仮定無しにB→Cを帰結すること は同値（条件付き証明という定理）。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.192s*