자연연역 체계에 어떤 함축규칙을 첨가해도 여전히 건전할까요?

[00(222.104)]

p≡q

p

-----------

 q

이걸 제 맘대로 집어넣어도 여전히 자연연역체계는 건전할까요???!