君、論理に疎いようだね。矛盾という言葉の使い方間違ってるよ。
論理式φと¬φは矛盾していると言うことができるが、単独の論理式が矛盾することはあり得ないよ。単独の論理式 φ∧¬φ は恒偽式であって、自己矛盾しているとは言わない。