No.1
「Aとする。BならばC」って、どこまでが仮定なの？
レス数: 45
概要: B？それともAかつB？
No.2
= (¬(A∧B)∨A)∧(¬(A∧B)∨C)
= (¬A∨¬B∨A)∧(¬(A∧B)∨C)
= ¬(A∧B)∨C
No.3
ってことだね
No.4
よかったら、具体例をあげてくれない？
No.5
No.6
No.7
単発質問スレ禁止
No.8
自治厨きっしょ
No.9
No.10
No.11
n^2が偶数ならば、←ケースの分岐。整数のとりうるケースの1つ…百科事典だから仮定じゃない
nは偶数である。←合成してるからて
No.12
No.13
が
百科事典ケースもある
決めつけ仮定ケースもある
No.14
n^2が偶数ならば、←真しかない
nは偶数である。←偽と真の合成
No.15
No.16
足りない物摂取大事
No.17
Leanとか上手く作られてんなあ、と思う
https:
数学記述するために必要十分な文法が揃ってる
Lean4で「Aとする。BならばC」は
theorem {A}B ⇒ C := 証明 （間違ってるかも）
No.18
No.19
No.20
No.21
No.22
さらにSchemeのように現在の継続を取り出せると、古典論理に背理法を追加可能
No.23
京大CW
リンク張れないのでggr
No.24
ほんと世界よく出来てる
No.25
No.26
Amazonでは新品は売切
東京と大阪の一部の丸善ジュンク堂には残ってるようだ
No.27
何かしら可能性があるんだろうな
No.28
No.29
No.30
なりつつある
No.31
照井一成 (著)
No.32
照井一成 (著)
No.33
No.34
No.35
過剰な受験対策をする人のせいで、大学で学問をやりたい人が割りを食っている
https:
No.36
これソフトカバーで再発売してほしいな
何であんなかさむデザインなんだろう
No.37
これは名著
いつでも入手できる文庫とかで再販されるべき
No.38
数式あるんだからソフトカバーでいいよ
No.39
図書館も書店も全滅だったので、
古書店に立ち寄って購入。
近所（といっても旧峠をひとつ越え）の古書店が一番揃っている。
No.40
https:
No.41
https:
No.42
No.43
https:
─
レスバ訓練は&嘘は&悪人変換は？
https:
─
"たむろ"
https:
─
勉強の人口の差異の何故の提起
https:
─
｢強制｣｢一例｣の上権力側からの法学→から→下側からの奉学は｢限界非限界｣
https:
─
性犯罪→安売り→歴史理屈
https:
No.44
https:
─
雷遁の衣or千鳥→の相違がなきゃおかしい。研究材料。
https:
─
ﾏｲﾝﾄﾞﾏｯﾌﾟの進化はｿﾛﾊﾞﾝﾏｯﾌﾟ
https:
─
手数の今後
https:
No.45
Aは証明の仮定。BならばC（B→C）はひとつの論理式（含意）でBは含意の仮定。
Bを証明の仮定にしてCを帰結すること と 仮定無しにB→Cを帰結すること は同値（条件付き証明という定理）。
