26/07/21 00:11:25.98 U2PJU28t.net
そもそも被害者の会ではないだろう
自分の妄想が前提になってるよ
40:１３２人目の素数さん
26/07/21 00:19:01.81 U2PJU28t.net
平日昼間に書き込んでいたところを見るに、社会生活に著しい障害が出てるだろう
そうでなくても、長く固執して他人に嫌がられてること自体が社会的に著しい障害だけど
41:１３２人目の素数さん
26/07/21 00:35:08.65 9lPB4r8c.net
サル、旺盛なマウント欲求が満たされずとうとう存在しない被害者の会が見えてしまう
完全に病気ですわ
42:１３２人目の素数さん
26/07/21 01:30:26.84 9lPB4r8c.net
>>16
>>そもそもQを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い
>
>笑える。下記の東北大 尾畑研 第16章整数・有理数・実数 P249 「■実数論」を 百回音読してね
>『Qを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い』か・・
>独自説だねぇ～、ユニークで笑える、が面白すぎｗｗ（＾＾
【命題】任意の集合X,Yに対して集合 Y^X が存在する。
【証明】
集合Aのべき集合をP(A)と書く。
和集合の公理、べき集合の公理、分出公理から X×Y:={z∈P(P(X∪Y))|∃x∈X.∃y∈Y:z={{x},{x,y}} が存在。
べき集合の公理、分出公理から Y^X:={f∈P(X×Y)|∀x∈X,∃!y∈Y:(x,y)∈f} が存在。
43:１３２人目の素数さん
26/07/21 07:32:13.68 IngSDRcX.net
>>39-42
おれは、被害者の会を論破、論難しようとしている
君たちは、それを妨害しようとしている
それは、結局は 被害者の会を擁護しているってことだよね
カネをもらっているのか？ｗｗｗ
笑えるぞｗｗｗ
44:１３２人目の素数さん
26/07/21 07:51:17.49 2GPRU5Zx.net
（単に無駄な行為を止めさせたいだけでは？）
45:１３２人目の素数さん
26/07/21 08:26:26.36 U2PJU28t.net
自分の理屈の殻にとじこもるから「自閉」と言う
46:１３２人目の素数さん
26/07/21 08:27:51.16 U2PJU28t.net
一々反応する方も反応する方だがね
無視すればいいだけ
47:１３２人目の素数さん
26/07/21 11:07:20.19 diu0Idzx.net
（木乃伊取りが木乃伊も好き好き）
48:１３２人目の素数さん
26/07/24 06:24:38.65 VwK6NOMd.net
同じこと言ってるだけな希ガス
aa≠2bbだから2＝a/bとすれば矛盾するんだろ
49:１３２人目の素数さん
26/07/24 07:58:45.82 B7dUo32s.net
無理数の定義が「有理数で無いこと」なのと
否定命題
￢P
とは
P→人
すなわち「Pと仮定すると矛盾」ということが定義なのだから
「有理数と仮定すると矛盾」を示さなくてはいけない
これも背理法とするなら背理法は根本的に必要だが
背理法は
￢P→人
を示して
￢￢P
から二重否定の除去により
P
を結論するという論法に限定すべきで無いかなあ
50:１３２人目の素数さん
26/07/24 09:32:56.95 /RjtiMHB.net
>無理数の定義が「有理数で無いこと」なのと
「有理数でない実数」な
実際、√(-1)は有理数でも無理数でもない
51:１３２人目の素数さん
26/07/24 11:02:39.27 /RjtiMHB.net
>否定命題
>￢P
>とは
>P→人
>すなわち「Pと仮定すると矛盾」ということが定義なのだから
ん？
命題論理なら命題変数Pに対して真理値表
P Q
0 1
1 0
で定まる命題変数Qが￢Pの定義だよ
述語論理の場合は解釈を与えて命題化された論理式について命題論理と同じ
52:１３２人目の素数さん
26/07/24 11:16:40.71 /RjtiMHB.net
>背理法は・・・という論法に限定すべきで無いかなあ
背理法とは（トートロジー P ⇔ (￢P→⊥) と条件付き証明から証明される）定理 Γ |- P ⇔ Γ∪{￢P} |- ⊥ を利用した証明方法。
53:１３２人目の素数さん
26/07/24 11:27:22.30 /RjtiMHB.net
・・・という論法に限定すべき
とか
背理法を使わないべき
とか
数学で趣味の問題を語っても仕方ない。それよりも証明論、数理論理学を学ぶべし。
54:１３２人目の素数さん
26/07/24 11:28:05.97 B7dUo32s.net
真理値表とはモデルの話で
命題論理そのものでは無い
集合XについてP(X)もモデルになる
この場合
Pの真理値がA⊂Xであるとき
￢Pの真理値はAc=X¥A⊂X
55:１３２人目の素数さん
26/07/24 11:32:11.44 B7dUo32s.net
また
直観主義論理も命題論理の一種であり
こちらではブール代数では無い真理値の与え方も許されることになる
56:１３２人目の素数さん
26/07/24 11:33:32.05 B7dUo32s.net
さらに矛盾許容論理も命題論理の一種であり
こちらは人の真理値が0ではないことも許容される
57:１３２人目の素数さん
26/07/24 11:38:48.01 B7dUo32s.net
ほかにもヒルベルトの体系を緩めたような→のみの命題論理もある
58:１３２人目の素数さん
26/07/24 15:57:37.87 LP8GbvsC.net
そもそも背理法アンチなんてマイノリティの意見に耳を傾ける必要ある？
59:１３２人目の素数さん
26/07/25 06:09:30.75 vO4x71j7.net
安倍晋三は一生かかっても理解不能なんだから無理