数学基礎論・数理論理学 その19 (550ﾚｽ)
数学基礎論・数理論理学 その19 http://rio2016.5ch.net/test/read.cgi/math/1696599483/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
115: １３２人目の素数さん [] 2024/03/29(金) 06:34:26.89 ID:3n44XIvU P ⇔ √2は有理数 ¬P ⇔ √2は無理数 ∵P とおく。そして、Q ⇔ アタシは美人である とおくと モチロン、P∨Qと¬Pから、Qが成り立つ ので、 「アタシは美人である」は当然成り立つ 💃💃💃 http://rio2016.5ch.net/test/read.cgi/math/1696599483/115
116: 115∵自己スレ [] 2024/03/29(金) 08:11:36.64 ID:3n44XIvU 自己解決∵宇宙からの閃き💡 >>115 よ 1.5hの自分ぢゃな 思慮深さが欠如しておるぞ。というか、今の自分は違います。 「P∨Qと¬Pから、Qが成り立つ」 とは、 ［(P⇒Q) ∧ (¬P⇒Q)］ ⇒ Q という意味ぢゃないかな P:今直ぐ ¬P:いつでも Q:出来る とおくと、解り良い というか、「いつか出来るから今出来る」なんてタイトルのウタに釣られてはダメ🙅 http://rio2016.5ch.net/test/read.cgi/math/1696599483/116
117: １３２人目の素数さん [] 2024/03/29(金) 10:03:41.84 ID:3n44XIvU ┻ ∧ P ⇒ P なのだろう 矛盾したことを💃が喋ろが、 「P ⇔ 💃は美人である」は当然成立💃 しかし、┻ ∧ P ⇒ ┻ ∴¬P トスルやつがいる。 「P ⇔ 💃は美人である」はモチロンなのに http://rio2016.5ch.net/test/read.cgi/math/1696599483/117
118: 115 116 117 自己スレの応酬 [] 2024/03/29(金) 10:47:45.42 ID:3n44XIvU 117とか自分で書いたのに、今みると意味不明だな。というか 色々ネットサーフィン🏄したら 【選言三段論法】 というのがあった。当たり前の論理だが 之がダメヤツは、地球人に多いという、イメージはある (P or Q) and not(P) がQかどうかなんて、代数演算しなくても ベン図を脳内にイメージすれば、直ぐ、霊感で解るのに sssp://o.5ch.net/22u0o.png http://rio2016.5ch.net/test/read.cgi/math/1696599483/118
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.760s*