【衝撃】選択公理が間違っていることを発見した！！ (188ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
94(1): 2025/10/19(日)12:23 ID:niq5zWsN(27/38) AAS
>>91
あれほど教えたのに全然分かってなくて草
証明内（述語論理の推論過程内）では存在するものは固定してよいんだよ だからRの整列順序もΛもfも固定してよい
f(λ)を求めよ？ 証明外で固定できると誤解してんのか？ 論理の初歩も分からんバカがしゃしゃり出てくんなよ
外部ﾘﾝｸ:ja.wikipedia.org
「存在例化（中略）は、述語論理において、(∃x)φ(x)という形式を持った式が与えられると、新しい定数記号cについてφ(c)を推論することができるという、妥当な推論規則のひとつである。」
「(∃x)Fx::Fa,ここでaは（中略）証明の結論部にも現れてはならない。」
103(1): 2025/10/19(日)15:20 ID:FRc+4xgA(1/2) AAS
>>94
だからいい加減
実数xを取る
xの値を求めよ
これに答えろよ（笑）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.551s*