>>917
ミス「p⇒qが偽ならば、qの真偽にかかわらず、pは真である」ですか?