爺さんはP⇒Qの証明にPの証明が要ると思ってるの?
認知症かい?