スレタイ箱入り無数目を語る部屋30(あほ二人の”アナグマの姿焼き"Part4ｗ)

>「1〜100 のいずれかをランダムに選ぶ」なら標本空間は {1,2,・・・,100}
>これと矛盾する簡単な論理式は？

これの答えとして君が挙げたのが

¬(P→Q) ⇔ P∧¬Q

である。これは専門用語では「恒偽式」と呼ばれるのかもかもしれないが
通常は自己矛盾の例として使われる。