＞p=0が⑤を成立しないのであれば、式⑤は偽になり、D(p^2-1)=0は真になるので
あれば矛盾しているのではないのですか？
もちろん矛盾しませんよ。
偽⇒真　が真になるというのは論理学の基本です。ご存じないはずないですよね？

よって、⑤が偽、D(p^2-1)=0が真のとき、⑤⇒D(p^2-1)=0は真です。矛盾はありません。