「 P という前提条件のもとで、Q という結論が成り立つことを示せ 」

という問題 ―― すなわち、「 P⇒Q 」が真であることを示せという問題に対して、

「 P を用いて Q を導いただけではダメ。P が真であることまでチェックしなければ不完全。大学では行き詰まる」

などと考えるのはただのバカ。なんで「 P⇒Q 」を示すときに「 P の 」真偽を気にするんだよｗ

・ P が偽のときは「 P⇒Q 」は真。
・ P が真のときは、Q が真であるときに限り「 P⇒Q 」は真。

従って、我々が気にすべきは「 Q の 」真偽だけであり、
Qを導いだたけで完全な解答になるのであり、

「 P が真であることまでチェックしなければ不完全。大学では行き詰まる 」

なんてことにはならないんだよ。むしろ P の真偽を気にしてるバカの方が行き詰まるわ。
「 P⇒Q 」が何を表しているのか理解してない証拠だからな。