例えば

「ｐならばｑ」という命題(真か偽かも分からない）があって

偽というなら反例を挙げればいいのだろうけど
もし真なら、真であるということを証明するにはどうすればいいのですか？


また
真か偽かも分かってない命題に対しては背理法は使えないのですか？

よろしくお願いします