>>918
「『qの真偽に関わらずp⇒qは真』でないならば、pが真である。」