形式論理学は背理法で示されるが
数学はどうだろうか
P→Q，⊥Q
(1) P→Q
(2) ¬Q
(1)の分岐
(3) ¬P
(4) Q
×
(2)，(4)
数学でもこういう証明を取り入れた方がよいと思った
こっちの方がわかりやすくて面白い
Inter-universal geometry と ABC予想 51
■ このスレッドは過去ログ倉庫に格納されています
310１３２人目の素数さん
2020/04/30(木) 15:06:52.73ID:nI9o/tNP■ このスレッドは過去ログ倉庫に格納されています
ニュース
- ランドセルにくぎ刺される「国に帰れ」など言われ、転校を余儀なくされた海外からの転校生 仙台市教育委員会が「いじめ重大事態」認定★3 [煮卵★]
- 交際男性の乳首を切り 「やらないなら出て行け」左手薬指を切断…24歳女に保護観察付き有罪判決・男性は執行猶予求める (大阪地裁) [少考さん★]
- 「いいの？前科ついちゃうよ」万引きした女子大学生を脅す 元コンビニ店長の男（54）逮捕 ★2 [煮卵★]
- 【サッカー】W杯の新ルールで一発レッドで退場！ パラグアイの10番アルミロン、口元を手で隠す行為 [冬月記者★]
- 【MLB】大谷翔平、第2子誕生へ 育休でチームを離脱 球団が発表…週末には復帰予定 長女誕生から1年 ★2 [jinjin★]
- 《金メダリストの“自慢の父は自衛官”投稿が話題》古賀千景議員の不適切発言は「冒涜」有志が抗議文も [夜のけいちゃん★]
- 【悲報】高市早苗容疑者、周囲に「土日も休んでいない。休めない」などと意味不明な供述をしている模様 [731544683]
- ⛵👒👊☠👊🏝🏡
- 👩女性「大谷翔平、産ませてすぐ妊娠させるって………ドン引き」 [762037879]
- 朝日新聞「G7サミットの招待国も含めた記念撮影を前に、強い日差しを浴びる高市早苗首相」 [931948549]
- 【実況】博衣こよりのえちえちうたわれるもの 白への道標🧪★5
- 愛国者「日本国民って優秀なのになんで国会議員だけ無能なの？」→20万いいね [834922174]