P ⇔　√2は有理数
¬P ⇔　√2は無理数　∵P
とおく。そして、Q ⇔　アタシは美人である　とおくと

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