数学基礎論・数理論理学 その19 (550ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡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:出来る とおくと、解り良い
というか、「いつか出来るから今出来る」なんてタイトルのウタに釣られてはダメ🙅
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.023s