>>558
あぁ、申し訳ないです。勘違いしてました。

でも、やっぱり
「ｐ⇒ｑ」と「¬ｐ∨ｑ」が同じ土俵の上で比べられるのか、
どうしても理解できません。