数学基礎論・数理論理学 その19 (550ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
115(1): 2024/03/29(金)06:34 ID:3n44XIvU(1/4) AAS
P ⇔ √2は有理数
¬P ⇔ √2は無理数 ∵P
とおく。そして、Q ⇔ アタシは美人である とおくと
モチロン、P∨Qと¬Pから、Qが成り立つ ので、
「アタシは美人である」は当然成り立つ 💃💃💃
116: 115∵自己スレ 2024/03/29(金)08:11 ID:3n44XIvU(2/4) AAS
自己解決∵宇宙からの閃き💡 >>115 よ 1.5hの自分ぢゃな
思慮深さが欠如しておるぞ。というか、今の自分は違います。
「P∨Qと¬Pから、Qが成り立つ」 とは、
［(P⇒Q) ∧ (¬P⇒Q)］ ⇒ Q という意味ぢゃないかな
P:今直ぐ ¬P:いつでも Q:出来る とおくと、解り良い
というか、「いつか出来るから今出来る」なんてタイトルのウタに釣られてはダメ🙅
117: 2024/03/29(金)10:03 ID:3n44XIvU(3/4) AAS
┻ ∧ P ⇒ P なのだろう
矛盾したことを💃が喋ろが、
「P ⇔ 💃は美人である」は当然成立💃
しかし、┻ ∧ P ⇒ ┻ ∴¬P
トスルやつがいる。
「P ⇔ 💃は美人である」はモチロンなのに
118(1): 115 116 117 自己スレの応酬 2024/03/29(金)10:47 ID:3n44XIvU(4/4) AAS
117とか自分で書いたのに、今みると意味不明だな。というか
色々ネットサーフィン🏄したら
【選言三段論法】 というのがあった。当たり前の論理だが
之がダメヤツは、地球人に多いという、イメージはある
(P or Q) and not(P) がQかどうかなんて、代数演算しなくても
ベン図を脳内にイメージすれば、直ぐ、霊感で解るのに
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.025s