背理法と対偶って違うの？ (117ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
101: 2024/12/09(月)08:42 ID:l8/SbiYA(1) AAS
《∀と∃記号を使ってみたぁぁぁ。》
今閃いたた対偶法による
√2は有理数である事の証明モドキ だ
∀xが既約分数 ⇒ ∃「xの二乗は2」
が証明されちゃったら、
√2は有理数である事の証明だぜ
14142・・・/10000・・・
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.036s*