TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【数学V】山口大学理学部数理科学科【850点】
Octaveやmaximaなどの数学系のフリーソフトのスレ
東大の数学教授って実際どんくらいすごいの?
5次方程式の解を表現できる数体系
東大の数学教授って実際どんくらいすごいの?
雑談はここにかけ[53]
プラスマイナスゼロ
数学の本 第83巻
ようじょですpart4
なぜ数学板は廃墟と化したのか
143 :
ちなみに、P が偽であることが判明した場合、議論をそこでやめずに Q を導くことも
実際には可能である。次のようにすればよい。
――――――――――――――――――――――――――――――――
P → Q が成り立つことを示したい。
P が成り立つとする。Q が成り立つことを示せばよい。

(〜〜何らかの議論〜〜)

ゆえに、¬P が成り立つ。すなわち、P ∧ ¬P が成り立つ。
これは「矛盾」である。矛盾した命題からは無条件に任意の命題を導出してよいので、
特に「 Q 」を導出してよい。よって、Q が成り立つ。

以上より、P が成り立つという仮定のもとで Q が導出できたので、P → Q は真である。
――――――――――――――――――――――――――――――――

現代数学の系譜 工学物理雑談 古典ガロア理論も読む46
数学の本第79巻
【激しく】解析と線型代数の本何がいい?【既出】11
Inter-universal geometry と ABC予想 38
╋|||《数学オリンピック 30》|||╋
面白い問題おしえて〜な 29問目
分からない問題はここに書いてね452
♂♂♂♂♂♂♂♂♂♂♂   生物実験 14
線形代数で最初に習う互換ってまじ意味ないだろ
多様体4
--------------------
■ロコ■※コテだ名前欄なんぞに参加名は入れない
パチスロ5号機の思い出。6号機打つなら何?
魔術・呪術・呪い代行業者スレ46社目 昼間ライト君サクラスレ
☆イランで捕まった中村君の無事を祈るスレ★
スネークスレ 864
スーパーマリオワールドでよくあること
22歳から社長やってるんだが社員になめられて辛い
パチンコ、パチスロ14ヶ月で76万円負けた
誰も知らなさそうなsf映画
ケイブシューティングコレクション 完
郵便局が正社員の優遇制度をやめて非正社員と同じにする 2020年4月同一労働同一賃金に向けて [659060378]
鹿児島のバイク乗りのスレ25
Melodyne part6
ロックマンエグゼシリーズ
炭鉱勤労者名簿など朝鮮人強制動員の貴重記録物を公開へ[06/21]
マジカルハロウィン7part3
大学剣道総合スレ Part61
日本の共産主義者が大東亜戦争・太平洋戦争を始めた
【邪神ちゃんドロップキック】花園ゆりねはかわいい Part.2
ポケモン二次創作&二次創作厨総合アンチスレ2
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼