背理法は不要なのか2
112１３２人目の素数さん
2026/08/06(木) 11:12:56.22ID:289HPqRS （直観主義論理は排中律無いだけだから形式化できないわけはない）
レスを投稿する
ニュース
- 第2次大戦に触れトランプ氏「米中は同盟国」、当時は中華民国…「抗日」巡る中国の言説補強する恐れ ★8 [蚤の市★]
- 【通信】ahamo初の値上げ 「大盛りオプション」撤廃、40GB・60GB・120GBの3段階制に [自治郎★]
- 【米中】トランプ氏、習氏と年内あと2回会うと表明－首脳会談「多くの成果」 [煮卵★]
- 「暗い未来に子供を産みたくない…」それでも左派よりも右派の方が「たくさん子供を産む」のはなぜか【米研究】 ★2 [首都圏の虎★]
- 【避妊】望まない妊娠の可能性、性交渉経験がある女性の3人に1人が経験 「楽観視」「相手が望まず」製薬会社調査 [煮卵★]
- 「習氏より先に言うとは…」 トランプ氏同盟国発言、日本政府内に困惑 ★3 [蚤の市★]
- 毎日毎日似たようなスレに吸い込まれて似たようなレスしてるキチおるやん？
- X民「古文漢文は、高校まで真面目にやっても読み書きできる様にならないカリキュラムに後退している」ジャップの糞教育で古典教養が崩壊 [782112767]
- 【大爆笑】俺様、ァマゾンで誰かに52000円分購入されるｗｗｗｗｗｗｗｗｗｗ [782460143]
- 日本人「高市早苗はあなたの国でどう思われていますか？」➡世界中で嫌われていると判明 [603416639]
- 【予言】ビル・ゲイツさん「AIで10億人が死ぬことになる」君は生き残ることができるか [673057929]
- 令和の日本人「金！金！汗水流さず楽して稼ぎたい！」日本人が『金の亡者』になったのはなぜなの？昭和や平成はこんなことなかったよな [257926174]