>>602
すべてのXについて((A⇒X)⇒(B⇒X))が成り立つ、といってる
XがTかFかのいずれかとすれば
((A⇒T)⇒(B⇒T)) は T⇒T、すなわちTだから、AとBがなんでもOK
((A⇒F)⇒(B⇒F)) は ¬A⇒¬B すなわち B⇒A
XがFの場合が一番厳しいので、それだけ考えればよかったということになる
Inter-universal geometryとABC予想(シン応援スレ) 84
■ このスレッドは過去ログ倉庫に格納されています
606１３２人目の素数さん
2026/02/08(日) 16:18:55.77ID:D0/9Lq9F■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【子供】「2人目欲しい」が過去最低、6年で半減 物価高で収入に不安か [煮卵★]
- 「フランスが燃えている」と投稿 トランプ氏 [少考さん★]
- データセンター・クラウド、国が安全認証へ 中国系を事実上排除 [少考さん★]
- デモ暴徒化、フランス大統領が非難「正当化できない。犯罪者に代償」 [少考さん★]
- 両足切断された30代女性が意識回復、軽トラックと車に挟まれた事故 40代男を逮捕 東京・世田谷区三軒茶屋 ★3 [お断り★]
- 武尊氏、SNS誹謗中傷に「罰せられないの？本当にそろそろSNSの法整備した方がいい」 [少考さん★]
- 【高市悲報】ハンチョウ、おっさんに激効きしてしまう概念を言語化してしまう [834922174]
- 高市早苗周辺「国民は高市政権に経済を立て直して欲しいという期待が大きい」 [931948549]
- 鮒←これ読める？(・o・🍬)🏰
- 【】🇫🇷フランス暴動、ベルギー・イタリアにも波及し始めるｗｗｗｗｗｗｗｗｗｗｗ [762037879]
- 女性「"赤ちゃんが乗っています"だからそれを貼って何を主張してんの？」 [751872376]
- フランス人「自由と権利は実力で勝ち取る！」ジャップ「暴動は絶対にダメ！」 [153736977]