>>143
長々とお付き合いさせてしまって済みません&ありがとうございます。
確かに無理数云々の証明とは別問題のような気もしてきました。
私自身慣れないことを考えていて頓珍漢な例を出している気もしました。
104の再掲ですが、要はpとしても¬pとしても矛盾が出てきちゃったけどその場合
このことをどう考えればいいのかな?といった疑問があるだけです。
横道にそれて話をややこしくしてしまったと思います。
あなたと同様私も今まで気にしてなかっただけに妙に気になってしまいました。