数学基礎論・数理論理学　その19

数学基礎論・数理論理 ..

115:１３２人目の素数さん
24/03/29 06:34:26.89 3n44XIvU.net
P ⇔　√2は有理数
¬P ⇔　√2は無理数　∵P
とおく。そして、Q ⇔　アタシは美人である　とおくと

モチロン、P∨Qと￢Pから、Qが成り立つ　ので、
「アタシは美人である」は当然成り立つ　💃💃💃

次ページ

続きを表示

1を表示