横だけど、こういうとき論理の規則、p->q等、は何を前提とするの?