トップページ > 数学 > 2018年05月17日 > 1xjVKUsZ

書き込み順位＆時間帯一覧

12 位/82 ID中時間01234567891011121314151617181920212223Total
書き込み数1000000200000000000000003



使用した名前一覧書き込んだスレッド一覧
１３２人目の素数さん
背理法不要論ってどうなん？
数理論理学（数学基礎論）　その12
分からない問題はここに書いてね443

書き込みレス一覧

背理法不要論ってどうなん？
5 ：１３２人目の素数さん[sage]：2018/05/17(木) 00:15:31.06 ID:1xjVKUsZ
有限の立場は背理法を拒否しません
数理論理学（数学基礎論）　その12
814 ：１３２人目の素数さん[sage]：2018/05/17(木) 07:10:21.68 ID:1xjVKUsZ
∀x(P(x)→Q(x)) ∨ ∀x(Q(x)→P(x))は成り立たない、というだけです
分からない問題はここに書いてね443
456 ：１３２人目の素数さん[]：2018/05/17(木) 07:28:57.67 ID:1xjVKUsZ
広島大学理学部化学科とかですかね


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。