>>288
>>290
>>292
ありがとうございます
単純な式の変形で考えてました
p=q=0の否定はp≠0またはq≠0ですね
q≠0を仮定してq=0を証明すれば自ずとp=0になるって理解でいいですか