質問です
よく論証問題にある、PならばQであることを示せ、というのはP⇒Qが真であることを示せ、という意味でしょうか??