24/03/29 06:34:26.89 3n44XIvU.net
P ⇔ √2は有理数
¬P ⇔ √2は無理数 ∵P
とおく。そして、Q ⇔ アタシは美人である とおくと
モチロン、P∨Qと￢Pから、Qが成り立つ ので、
「アタシは美人である」は当然成り立つ 💃💃💃
24/03/29 06:34:26.89 3n44XIvU.net
P ⇔ √2は有理数
¬P ⇔ √2は無理数 ∵P
とおく。そして、Q ⇔ アタシは美人である とおくと
モチロン、P∨Qと￢Pから、Qが成り立つ ので、
「アタシは美人である」は当然成り立つ 💃💃💃